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!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617170224.0
008 931007s1993 ne e ||||||eng d
020 |a 0444898808 
022 |a 0926-5473 
035 |a CVTIDW0914543 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 510.6  |2 UDC-MRF 
080 |a 519.76  |2 UDC-MRF 
100 1 |a Melham, Thomas F. 
111 0 |a Proceedings of the IFIP TC10/WG10.2 internat. workshop  |d (21 - 24 Sept., 1992 :  |c Belgium, Leuven) 
242 1 0 |a Dokazovanie logickej vety vyššieho rádu a jej aplikácie 
245 1 0 |a Higher order logic theorem proving and its applications :  |b Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /  |c Authors: Thomas F. Melham and Co. ; Red.: L. J. M. Claesen, M. J. C. Gordon 
250 |a [1st ed.] 
260 |a Amsterdam :  |b North-Holland Publishing,  |c 1993 
300 |a XIII, 568 s., príl. :  |b fotogr., lit., obr., tab. ; 
490 |v A-20  |a International Federation for Information Processing transactions 
653 1 |a matematická logika  |a všeobecné modelovanie  |a overovanie programu  |a hardware  |a programovací jazyk  |a sémantika 
700 1 |a Claesen, L. J. M.  |4 edt 
700 1 |a Gordon, M. J. C. 
910 |b A539670 
919 |a 0444898808 
974 |f Knihy 
992 |a AZN 
999 |c 73449  |d 73449 

Similar Items