01653nam2-2200433li-450 99000020756020331620180312154903.03-540-61732-90020756USA010020756(ALEPH)000020756USA01002075620001109d1996----km-y0itay0103----baengGWArtificial intelligence and symbolic mathematical computationInternational conference, AISMC-3Steyr, Austria, September 23-25, 1996proceedingsJacques Calmet ... [et al. ] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996VIII, 379 p.ill.25 cmLecture notes in computer science113800100202642001Lecture notes in computer sciencecongressisteyr1996elaborazione elettronicacongressi1996intelligenza artificialecongressi19960063Intelligenza artificiale [precedent. 001.535]CALMET,JacquesInternational conference AISMC3.Steyr1996754798Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207560203316001 LNCS (1138)001978800100103910BKSCI1997020720001110USA011714ALANDI9020010201USA01152120020403USA011628PATRY9020040406USA011615FIORELLA9020070402USA011432Artificial intelligence and symbolic mathematical computation1519008UNISA