The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
| ISBN: | 9783540746089 |
| Publication date: | 28th August 2007 |
| Author: | Verónica Dahl, Ilkka Niemelä |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 472 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Compilers and interpreters Computer programming / software engineering |
The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.
Logic Programming Programming and Software Engineering features in the following genres: Software Engineering, Mathematical theory of computation, Artificial intelligence, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Logic Programming Programming and Software Engineering was written by Verónica Dahl, Ilkka Niemelä and published by Springer an imprint of Springer Berlin Heidelberg
Logic Programming Programming and Software Engineering has 472 pages
Yes it is part of Lecture Notes in Computer Science series