01439nam2-2200421li-450 99000019716020331620180312154722.088-7021-292-00019716USA010019716(ALEPH)000019716USA01001971620001109d1986----km-y0itay0103----baitaIT<<L'>> automazione del ragionamento matematicodalla dimostrazione dei teoremi alla formazione dei concettiAlan Bundyed. italiana a cura di Mauro BoscarolPadovaFranco Muzzio1986XX, 425 p.ill.21 cmintelligenza artificiale e robotica400100197142001intelligenza artificiale e roboticaIARlogica matematica005131Logica matematica (Logica simbolica)Bundy,Alan45435Boscarol,MauroSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000197160203316005.131 BUN0014797005.13100102514BKSCI1993042220001110USA011713ALANDI9020010320USA01151120020403USA011627PATRY9020040406USA011614PATRY9020060623USA011559Automazione del ragionamento matematico45818UNISA