01220nam0-2200373li-450 99000016062020331620180312154805.00-934613-31-10016062USA010016062(ALEPH)000016062USA01001606220001109d1987----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 SalernoRICA990000160620203316006.3 GEN0013006006.300106834BKSCI1991091820001110USA011712ALANDI9020010403USA01133420020403USA011623PATRY9020040406USA011612Logical Foundations of Artificial Intelligence337575UNISA