Premium
Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00
Author(s) -
Metz J.
Publication year - 1974
Publication title -
zamm ‐ journal of applied mathematics and mechanics / zeitschrift für angewandte mathematik und mechanik
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.449
H-Index - 51
eISSN - 1521-4001
pISSN - 0044-2267
DOI - 10.1002/zamm.19740541027
Subject(s) - citation , volume (thermodynamics) , computer science , library science , resolution (logic) , engineering physics , calculus (dental) , artificial intelligence , physics , thermodynamics , medicine , dentistry