01602nam2-2200433li-450 99000020417020331620180312154612.03-540-57184-10020417USA010020417(ALEPH)000020417USA01002041720001109d1993----km-y0itay0103----baengGWComputational logic and proof theorythird Kurt Gödel colloquium KGC'93: Brno, Czech Republic, August 24-27, 1993proccedingsGeorge Gottlob (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993XI, 348 p.ill.24 cmLecture notes in computer science71300100202642001Lecture notes in computer sciencecongressibrno1993elaboratori elettronicicongressi1993elaboratori elettroniciprogrammazionecongressi1993logica matematicacongressi19930051Programmazione. Tecnica di sviluppo dei programmiGottlob,GeorgKurt Gödel colloquium KGC'933.Brno1993745712Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204170203316001 LNCS (713)001527200100102965BKSCI1994100720001110USA011714ALANDI9020010129USA01164820020403USA011628PATRY9020040406USA011615Computational logic and proof theory1487570UNISA