Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 2: Deduction MethodologiesDov M. Gabbay, C. J. Hogger, J. A. RobinsonInbunden5 634 kr
Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic FoundationsDov M. Gabbay, C. J. Hogger, J. A. Robinson, Dov M. Gabbay, C. J. HoggerInbunden5 634 kr
Handbook of Logic in Computer Science: Volume 3. Semantic StructuresAbramsky, Gabbay, S. Abramsky, Dov M. Gabbay, T. S. E. MaibaumInbunden5 634 kr
Handbook of Logic in Computer Science: Volume 4. Semantic ModellingSamson Abramsky, T. S. Maibaum, S. Abramsky, Dov M. Gabbay, T. S. E. MaibaumInbunden5 634 kr