Jörg H. Siekmann - Böcker

Visar alla böcker från författaren Jörg H. Siekmann.

2 produkter

Kategorier

2 produkter

Del 9

Del 9 - Handbook of the History of Logic

Computational Logic

AvDov M. Gabbay,J�rg H. Siekmann,John Woods,Jörg H. Siekmann,King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science,Germany) Siekmann, Jorg H. (University of Saarland,Canada) Woods, John (University of British Columbia, Vancouver,Dov M Gabbay,Jörg H Siekmann

Inbunden, Engelska, 2014

2 869 kr

Skickas inom 7-10 vardagar

8th International Conference on Automated Deduction

Oxford, England, July 27- August 1, 1986. Proceedings

AvJörg H. Siekmann

Häftad, Engelska, 1986

689 kr

Skickas inom 10-15 vardagar