Theorem proving in higher order logics 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	TPHOLs '96 Turku, Finland
Other Authors:	Wright, J., Grudy, J., Harisson, J.
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin, Germany Springer 1996
Series:	Lecture notes in computer science 1125
Subjects:	Automatic theorem proving > Congresses
Tags:	Add Tag No Tags, Be the first to tag this record!

Perpustakaan Jeneral Tun Ibrahim

Holdings details from Perpustakaan Jeneral Tun Ibrahim
Copy	On Shelf