Книги автора «D. M. Gabbay»

Handbook of Logic in Artificial Intelligence: Logic Programming (HANDBOOK OF LOGIC IN ARTIFICIAL INTELLIGENCE AND LOGIC PROGRAMMING) (D. M. Gabbay,C. Hogger,J. A. Robinson)

Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications (D. M. Gabbay,R. Schmidt,A. Szalas)

Logic for Artificial Intelligence and Information Technology (D. M. Gabbay)

Handbook of Paraconsistency (D. M. Gabbay,J. Y. Beziau,W. Carnielli)