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 matematico45818UNINA01058nam0 22002651i 450 UON0040765920231205104726.25220120329d1965 |0itac50 bafreRO|||| 1||||Nicolae TonitzaText de Raoul SorbanBucarestEditura Meridiane196581 p.tav.19 cm.001UON004076582001 ˆLes ‰maîtres de l'art roumaineARTE ROMENAUONC074695FIROBucureştiUONL000071700ARTE21SORBANRaulUONV208768708316ITSOL20240220RICAUON00407659SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FONDO ONCIULESCU H 0005bis SI 453 5 0005bis SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI FONDO ONCIULESCU H 0005 SI MR 81299 7 0005 Nicolae Tonitza1345340UNIOR