01153nam0-2200361li-450 99000025831020331620180312154833.00-934613-31-10025831USA010025831(ALEPH)000025831USA01002583120001109d1987----km-y0itay0103----baengUSLogical foundations of artificial intelligenceMichael R. Genesereth and Nils J. NilssonPalo AltoMorgan Kaufmanncopyr. 1987XVIII, 405 p.ill.23 cmintelligenza artificiale0063Intelligenza artificiale [precedent. 001.535]Genesereth,Michael R.52644Nilsson,Nils J.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000258310203316006.3 GEN0013006BKSCI1991091820001110USA01171520020403USA011634PATRY9020040406USA011618Logical Foundations of Artificial Intelligence337575UNISA