عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3540631046 (pbk. : alk. paper)
9783540631040 (pbk. : alk. paper)
b433719
Automated deduction, CADE-14
[Book]
14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
William McCune, ed.
New York :
Springer,
c1997.
xiv, 462 p. :
ill. ;
24 cm.
Lecture notes in computer science ;
1249. Lecture notes in artificial intelligence
Mode of access: World Wide Web.
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
OhioLINK electronic book center
SpringerLink
Automatic theorem proving, Congresses.
Logic, Symbolic and mathematical, Congresses.
McCune, W., (William)
International Conference on Automated Deduction(14th :1997 :, Townsville, Qld.)
20100628092656.0
مطالعه متن کتاب [Book]
Y
