D. M. Gabbay: Полный список книг

D. M. Gabbay: список всех книг (3)

Elementary Logic with Applications. A Procedural Perspective for Computer Scientists - D M Gabbay, O T Rodrigues

Elementary Logic with Applications. A Procedural Perspective for Computer Scientists

D M Gabbay, O T Rodrigues
Logic for Artificial Intelligence and Information Technology - D. M. Gabbay

Logic for Artificial Intelligence and Information Technology

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

Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications

D. M. Gabbay, R. Schmidt, A. Szalas