Logic: Logic And Computer Science
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1993 |
| Authors | Harrie de Swart |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2010037 |
About Logic: Logic And Computer Science
In Logic Programming (§ 25 and 26) the language of logic is used as a declarative programming language. Prolog uses resolution as its underlying proof mechanism. . . .