Bjørner, Nikolaj.Voronkov, Andrei. (Eds.) () Logic for Programming, Artificial Intelligence, and Reasoning18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. ProceedingsMLA Citation
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
edited by Nikolaj Bjørner, Andrei Voronkov.
|Names:||Bjørner, Nikolaj. | Voronkov, Andrei.|
|Published:||Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.|
Lecture Notes in Computer Science, 7180
|Topics:||Computer science. | Software engineering. | Logic design. | Artificial intelligence. | Computer Science. | Software Engineering. | Artificial Intelligence (incl. Robotics). | Logics and Meanings of Programs. | Mathematical Logic and Formal Languages. | Programming Techniques. | Programming Languages, Compilers, Interpreters.|