Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
- Author
- Flemming Andersen, Kim Dam Petersen (auth.), Jeffrey J. Joyce, Carl-Johan H. Seger (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 1994
- Page
- 526
- ISBN
- 3540578269,9783540578260
- File Type
- djvu
- File Size
- 5.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot