LEADER 00000nam a2200277 a 4500
001 u11628
001 11629
003 SIRSI
005 20040214203100.0
008 090203s2002 xxua0000000000000100eng0d
020 0130654876
049 |bABDH AINB FUJA NAEM
050 0 QA267.3|bH35 2002
100 1 Hamburger, Henry,|d1940-
245 10 Logic and language models for computer science /|cHenry
Hamburger, Dana Richards.
260 0 Upper Saddle River, N.J. :|bPrentice Hall,|c2002
300 xiv, 341 p. :|bill. ;|c24 cm.
504 Includes bibliographical references (p. 333-335) and
index.
650 0 Formal languages
650 0 Description logics
650 0 Artificial intelligence
700 1 Richards, Dana Scott,|d1955-
Female Library
|
QA267.3 H35 2002 |
Available |
|