عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook44817
eng
A computational logic
New York :
: Academic Press,
, 1979.
Print
Automatic theorem proving. ;
Boyer, Robert S. ;
old catalog
