Logic, Symbolic and mathematical -- Congresses
Books
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990: proceedings
Publisher: Springer-Verlag
ISBN10: 0387528857
ISBN13: 9780387528854
DDC: 511.3
LCC: QA76.9
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Publisher: Springer-Verlag
ISBN10: 0387100091
ISBN13: 9780387100098
DDC: 511.3
LCC: QA76.9
Edition: (U.S.)
8th International Conference on Automated Deduction: Oxford, England, July 27-August 1, 1986: proceedings
Publisher: Springer-Verlag
ISBN10: 0387167803
ISBN13: 9780387167800
DDC: 511.319
LCC: QA76.9
Edition: (U.S. : pbk.)