Works matching IS 13670751 AND DT 2001 AND VI 9 AND IP 3
Results: 6
Theorem proving in infinitesimal geometry.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 447, doi. 10.1093/jigpal/9.3.447
- By:
- Publication type:
- Article
A simple formalization and proof for the mutilated chess board.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 475, doi. 10.1093/jigpal/9.3.475
- By:
- Publication type:
- Article
Tableau reasoning and programming with dynamic first order logic.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 411, doi. 10.1093/jigpal/9.3.411
- By:
- Publication type:
- Article
The rewriting calculus - part II.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 377, doi. 10.1093/jigpal/9.3.377
- By:
- Publication type:
- Article
The rewriting calculus - part I.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 339, doi. 10.1093/jigpal/9.3.339
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 335, doi. 10.1093/jigpal/9.3.335
- By:
- Publication type:
- Article