01715nam2-2200433li-450 99000021094020331620180312154631.03-540-60156-20021094USA010021094(ALEPH)000021094USA01002109420001109d1995----km-y0itay0103----baengGWIntegrating symbolic mathematical computation and artificial intelligencesecond International conference, AISMC-2Cambridge, United Kingdom,August 3-5, 1994selected papersJacques Calmet ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995X, 275 p.ill.25 cmLecture notes in computer science95800100202642001Lecture notes in computer sciencecongressicambridge1994elaborazione elettronicamodelli matematicicongressi1994intelligenza artificialecongressi1994004Elab. dei dati Scienza degli elab. InformaticaCALMET,JacquesInternational conference AISMC-22.Cambridge1994745727Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210940203316001 LNCS (958)002031200100103744BKSCI1997112420001110USA011714ALANDI9020010131USA01132920020403USA011629PATRY9020040406USA011615FIORELLA9020070402USA011432Integrating symbolic mathematical computation and artificial intelligence1487588UNISA