Jörg H. Siekmann - Böcker
Visar alla böcker från författaren Jörg H. Siekmann.
2 produkter
2 produkter
Del 9 - Handbook of the History of Logic
Computational Logic
Av Dov 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
3 009 kr
Skickas inom 7-10 vardagar
Del 230 - Lecture Notes in Computer Science
8th International Conference on Automated Deduction
Häftad, Engelska, 1986
709 kr
Skickas inom 7-10 vardagar