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 |