Cover Image

Logic Programming 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings /

Corporate Author: SpringerLink (Online service)
Other Authors: Dahl, Verónica. (Editor, http://id.loc.gov/vocabulary/relators/edt), Niemelä, Ilkka. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Programming and Software Engineering ; 4670
Subjects:
Software engineering.
Computer programming.
Artificial intelligence.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-540-74610-2

Internet

https://doi.org/10.1007/978-3-540-74610-2

Similar Items