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 theory1487570UNISA00984nam0 22002531i 450 UON0010022320231205102549.57320020107d1983 |0itac50 baengUS|||| 1||||Before color prejudicethe ancient view of blacksFrank M. Snowden, jrCambridgeMass.LondonHarvard University Pressc1983VIII, 164 p., tav. cmUSCambridge (Mass.)UONL000262GBLondonUONL003044SNOWDENFrank M. jr.UONV048658659348Harvard University PressUONV245793650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00100223SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI E 168 SI MC 8905 5 Before color prejudice1310231UNIOR