Handbook of Practical Logic and Automated Reasoning
- Título:
- Handbook of Practical Logic and Automated Reasoning
- Materia:
- Computer Science; Mathematics; British History after 1450; Global History; Military History
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9780511576430; 9780521899574 ISBN:
- Colección:
- Cambridge University Press