01460nam2-2200421li-450 99000020467020331620180312154909.03-540-56730-50020467USA010020467(ALEPH)000020467USA01002046720001109d1993----km-y0itay0103----baengGWWorld equations and related topicsRouen, France, October 7-9, 1991 :proceedingsHabib Abdulrab (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993214 p.ill.24 cmLecture notes in computer science67700100202642001Lecture notes in computer sciencecongressirouen1991elaboratori elettroniciprogrammazionecongressi1991logica matematicacongressi1991005131Logica matematica (Logica simbolica)Abdulrab,HabibSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204670203316001 LNCS 677001528000100102925BKSCI1994120120001110USA011714ALANDI9020010129USA011520PATTY9020010321USA01133220020403USA011628PATRY9020040406USA011615World equations and related topics1501921UNISA