| 000 | 01215nam a2200229Ia 4500 | ||
|---|---|---|---|
| 003 | NULRC | ||
| 005 | 20250520094858.0 | ||
| 008 | 250520s9999 xx 000 0 und d | ||
| 020 | _a130302635 | ||
| 040 | _cNULRC | ||
| 050 | _aQA 76.73 .B87 1996 | ||
| 100 |
_aBurke, Edmund _eauthor |
||
| 245 | 0 |
_aLogic and its applications / _cEdmund Burke and Eric Foxley |
|
| 260 |
_aNew York : _bPrentice-Hall, _cc1996 |
||
| 300 |
_axviii, 310 pages : _billustrations ; _c24 cm. |
||
| 504 | _aIncludes index. | ||
| 505 | _a1. Propositional Logic 2. Formal Approach to Propositional Logic 3. Applications to Logic Design 4. Predicate Logic 5. Logic Programming 6. Formal System Specification | ||
| 520 | _aProviding a thorough introduction to logic programming, this new book covers both propositional and predicate logic with applications in circuit design, formal specification, and logic programming. Covers a formal approach to propositional logic, application to logic design, predicate logic, logic programming, formal system specifications and solutions. For professionals in the fields of computer science and mathematics. | ||
| 650 | _aLOGIC PROGRAMMING | ||
| 700 |
_aFoxley, Eric _eco-author |
||
| 942 |
_2lcc _cBK |
||
| 999 |
_c5109 _d5109 |
||