عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
0387945938
9781461275152
dltt
First-order logic and automated theorem proving /
[Book]
Melvin Fitting.
2. ed
New York :
Springer,
1996
XVI, 326 p. ;
24 cm.
Fitting, Melvin
20170411105254.4
مطالعه متن کتاب [Book]
Y
