Abstract
A Gentle introduction to logical languages, logical modeling,
formal reasoning and computational logic for computer science and
software engineering students
| Original language | English |
|---|
| Place of Publication | Lyngby |
|---|---|
| Publisher | IT/DTU |
| Number of pages | 186 |
| Publication status | Published - 1998 |