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
2 989 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 769 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 119 kr