Spar
Higher Order Logic Theorem Proving and Its Applications
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions.
- Undertittel
- 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
- Redaktør
- Thomas F. Melham, Juanito Camilleri
- Opplag
- 1994 ed.
- ISBN
- 9783540584506
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 7.9.1994
- Antall sider
- 477
