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.