Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /

Saved in:
Bibliographic Details
Main Author: Melham, Thomas F.
Corporate Author: Proceedings of the IFIP TC10/WG10.2 internat. workshop Belgium, Leuven
Other Authors: Claesen, L. J. M. (Editor), Gordon, M. J. C.
Format: Conference Proceeding Book
Language:English
Published: Amsterdam : North-Holland Publishing, 1993
Edition:[1st ed.]
Series:International Federation for Information Processing transactions A-20
Subjects:
matematická logika > všeobecné modelovanie > overovanie programu > hardware > programovací jazyk > sémantika
ISBN:0444898808
ISSN:0926-5473
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items