Suggested Topics within your search.
Suggested Topics within your search.
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Lógica matemática-Computación
- Mathematical logic-Computation 2
- Asistencia de diseños 1
- Design aids 1
- Grammars and other rewriting systems 1
- Gramáticas y otros sistemas de reescritura 1
- Logics and meanings of programs 1
- Lógica y significado de programas 1
- Program verification 1
- Sistemas con propósito y aplicaciones especiales 1
- Software-Herramientas y técnicas 1
- Software-Tools and techniques 1
- Special-purpose and application based systems 1
- Verificación de programas 1
-
1
Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published 1996Conference Proceeding Book -
2