Hermes Sciences Publications · Springer
title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
---|---|---|---|
Automated Deduction in Classical and Non-Classical Logics: Selected Papers | 978-3-540-67190-9 (3-540-67190-0) | 2008 | Gernot Salzer |
Logique pour l'informatique et pour l'intelligence artificielle | 978-2-7462-2600-5 (2-7462-2600-6) | 2010 |
R. C. · Richard Capper · Richard Chaffer · Richard Chbeir · Richard Cooper · Richard Cowper · Richard Cuffari · Ryszard Cibor