01607nam2-2200433li-450 99000020606020331620180312154820.03-540-63385-50020606USA010020606(ALEPH)000020606USA01002060620001109d1997----km-y0itay0103----baengGWComputational logic and proof theory5th Kurt Godel colloquim, KGC'97 :Vienna, Austria, August 25-29, 1997proceedingsGeorg Gottlob ... [et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1997VII, 348 p.ill.23 cmLecture notes in computer science128900100202642001Lecture notes in computer sciencecongressivienna1997elaboratori elettroniciprogrammazionecongressi1997elaborazione elettronicacongressi1997logica matematicacongressi19970051Programmazione. Tecnica di sviluppo dei programmiGottlob,GeorgKurt Godel colloquim KGC'975.Vienna1997753711Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206060203316001 LNCS (1289)002082900100101029BKSCI1997112220001110USA011714ALANDI9020010202USA01152720020403USA011628PATRY9020040406USA011615Computational logic and proof theory1516255UNISA