01863nam0 22003133i 450 AQ1000848620240628062443.0354058450120090916d1994 ||||0itac50 baengdez01i xxxe z01nHigher order logic theorem proving and its applications7. international workshopValletta, Malta, September 19-22, 1994proceedingsThomas F. Melham, Juanito Camilleri (eds.)Berlin [etc.]Springerc1994IX, 470 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis859001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis859004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22Melham, Thomas F.AQ1V004593Camilleri, JuanitoAQ1V004594International workshop on higher order logic theorem proving and its applications <7. ; 1994NAPV112124070714676ITIT-NA007920090916IT-BN0095 AQ10008486Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000023735 B (0859 v. 8593 1996030119960301 01Higher order logic theorem proving and its applications1382019UNISANNIO