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 - Böcker
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
Quantification in Nonclassical Logic
Av Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman, 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, UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London, UK) Shehtman, Valentin (Department of Computer Science, King's College London
Inbunden, Engelska, 2009
2 789 kr
Inductive Logic
Av Dov M. Gabbay, John Woods, 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, Canada) Woods, John (University of British Columbia, Vancouver, Stephan Hartmann
Inbunden, Engelska, 2011
3 139 kr