Spar
Types for Proofs and Programs
This volume contains research papers devoted to the theoretical foundations, design and application of computer systems for theory development. Such systems help to design mathematical axiomatization, perform computer-aided logical reasoning and manage databases of mathematical facts.
- Undertittel
- International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
- Redaktør
- Henk Barendregt, Tobias Nipkow
- Opplag
- 1994 ed.
- ISBN
- 9783540580850
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 20.5.1994
- Antall sider
- 395
