01472nam2-2200421li-450 99000020263020331620180312154900.03-540-55124-70020263USA010020263(ALEPH)000020263USA0100202632001993031992-------y0itay0103----baengGWWorld equations and related topicsTübingen, Germany, October 1-3, 1990proceedingsK. U. Schulz (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992256 p.ill.25 cmLecture notes in computer science57200100202642001Lecture notes in computer sciencecongressitübinga1990elaboratori elettroniciprogrammazionecongressi1990logica matematicacongressi1990005131Logica matematica (Logica simbolica)SCHULZ,Klaus UlrichSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202630203316001 LNCS (572)001441100100102683BKSCI1993030420001110USA011714ALANDI9020010126USA01121920020403USA011628PATRY9020040406USA011615DSLL9020090311USA010958World equations and related topics1501921UNISA