My Library

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-