| Type |  Book |
| ชื่อเรื่อง | Logic and language models for computer science / Dana Richards, Henry Hamburger |
| ผู้แต่ง | Richards, Dana |
| ISBN | 9789811260667 |
| พิมพลักษณ์ | New Jersey, NJ. : World Scientific, c2023 |
| ครั้งที่พิมพ์ | 1st ed |
| | Fourth edition |
| รูปเล่ม | xix, 476 p. : ill. ; 23 cm |
| หัวเรื่อง | Formal languages |
| | Artificial intelligence |
| | Computer hardware description languages |
| | Computer logic |
| | Description logics |