1. Computational logic
المؤلف: J.W. Lloyd )ed.(
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA
.
A96
,
C654
76
.
9
1990
2. Computational logic
المؤلف: / J .W .Lloyd ( ed )
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Automatic theorem proving --Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
9
.
A96C654
1990
3. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
المؤلف: J.W. Lloyd )ed.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
4. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
المؤلف: J.W. Lloyd )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
A96S97
1990
