Providing a thorough introduction to logic programming, this new text covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming . Introducing the reader to mathematical logic, the book gives special emphasis to applications in computer science.
OHPs available form the Publisher.
"synopsis" may belong to another edition of this title.
Book Description Prentice Hall, 1996. Paperback. Book Condition: New. Bookseller Inventory # DADAX0130302635
Book Description Financial Times Prentice Hall, 1996. Book Condition: New. Bookseller Inventory # GM9780130302632
Book Description Prentice Hall, 1996. Paperback. Book Condition: New. New item. Bookseller Inventory # QX-005-53-7644107