01545nam2-2200421li-450 99000020435020331620180312154701.03-540-58140-60020435USA010020435(ALEPH)000020435USA01002043520001109d1994----km-y0itay0103----baengGWLogical foundations of computer sciencethird International symposium LFCS'94St. Petersburg, Russia, July 11-14, 1994proceedingsA. Nerode (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994IX, 392 p.ill.24 cmLecture notes in computer science81300100202642001Lecture notes in computer sciencecongressist. petersburg1994linguaggi di programmazionecongressi1994logica matematicacongressi1994005131Logica matematica (Logica simbolica)Nerode,AnilInternational symposium LFCS'943.St. Petersburg1994746219Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204350203316001 LNCS (813)001634600100103129BKSCI1995021220001110USA011714ALANDI9020010130USA01152020020403USA011628PATRY9020040406USA011615Logical foundations of computer science1489210UNISA01267nas 2200433-- 450 991089562730332120241124213016.0(CKB)110978977731119(CONSER)---74644452-(EXLCZ)9911097897773111920771101b19682010 --- aengtxtrdacontentcrdamediacrrdacarrierArt bulletin of VictoriaMelbourneCouncil of the National Gallery of Victoria1 online resourcePrint version: Art bulletin of Victoria. 0066-7935 (DLC) 74644452 (OCoLC)3384942 ABVArt bull. Vic.Art - CollectionsaiatsissArt - ArtistsaiatsissArt - GalleriesaiatsissArteembneVictoria (Vic)aiatsispPeriodicals.aatPeriodicals.fastPeriodicals.lcgftArt - Collections.Art - Artists.Art - Galleries.Arte.709/.945JOURNAL9910895627303321exl_impl conversionArt Bulletin of Victoria1325550UNINA