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

Av Dov M. Gabbay, J�rg H. Siekmann m. fl

Inbunden, Engelska, 2014

2 959 kr

Skickas inom 10-15 vardagar

8th International Conference on Automated Deduction

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

Av Jörg H. Siekmann

Häftad, Engelska, 1986

709 kr

Skickas inom 10-15 vardagar