Theorem proving with analytic tableaux and related methods /
ed. Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi.
- Berlin : Springer, 1996.
- x, 329 p. : il. ; 24 cm.
- Lecture notes in computer science ; v. 1071 Lecture notes in artificial intelligence .
- Lecture notes in computer science ; v. 1071 Lecture notes in computer science. Lecture notes in artificial intelligence .
3540612084
Deducción y prueba de teoremas.
Deduction and theorem proving.
Lógica matemática-Computación.
Mathematical logic-Computation.
3540612084
Deducción y prueba de teoremas.
Deduction and theorem proving.
Lógica matemática-Computación.
Mathematical logic-Computation.