Logic-based artificial intelligence / edited by Jack Minker. - Boston : Kluwer Academic Publishers, cop. 2000. - XXIII, 606 s. : il. ; 24 cm. - The Kluwer International Series in Engineering and Computer Science ; SECS 597 . - Kluwer International Series in Engineering and Computer Science SECS 597 .

Bibliogr. przy ref. Indeks.


Streszcz. ang.

0792372247


Logika symboliczna i matematyczna.
Sztuczna inteligencja.
Logika informatyczna.