01086nam0-2200349-i-450-99000991136040332120141028121322.088-7021-292-0paperback000991136FED01000991136(Aleph)000991136FED0100099113620141028d1986----km-y0itay50------baitaITa---a---001yy<<L'>>automazione del ragionamento matematicodalla dimostrazione dei teoremi alla formazione dei concettiAlan Bundyedizione italiana a cura di Mauro BoscarolPadovaFranco Muzzio editore1986XX, 425 p.21 cmIAR Intelligenza artificiale e robotica4Intelligenza artificiale006.3Bundy,Alan45435Boscarol,MauroITUNINAREICATUNIMARCBK99000991136040332116-B-214975MA1MA168TXXAutomazione del ragionamento matematico45818UNINA