01585nam2-2200433li-450 99000020394020331620180312154709.03-540-57322-40020394USA010020394(ALEPH)000020394USA01002039420001109d1993----km-y0itay0103----baengGWArtificial intelligence and symbolic mathematical computingKarlsruhe, Germany, August 3-6, 1992proceedingsJacques Calmet (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993305 p.ill.24 cmLecture notes in computer science73700100202642001Lecture notes in computer sciencealgoritmicongressi1992congressikarlsruhe1992elaborazione elettronicamodelli matematicicongressi1992intelligenza artificialecongressi19920063Intelligenza artificiale [precedent. 001.535]CALMET,JacquesSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203940203316001 LNCS (737)001592200100102949BKSCI1994100720001110USA011714ALANDI9020010129USA01172520020403USA011628PATRY9020040406USA011615FIORELLA9020070402USA011432Artificial intelligence and symbolic mathematical computing1490905UNISA