Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina
Logic Programming and Nonmonotonic Reasoning
- 2005
978-3-540-31827-9
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Computer Science