Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
Berlin, Heidelberg: Springer Berlin Heidelberg, 2012
Online
Monographie, Konferenzschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Nikolaj Bjørner, Andrei Voronkov |
Autor/in / Beteiligte Person: | Bjørner, Nikolaj ; Voronkov, Andrei |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg, 2012 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783642287176 |
DOI: | 10.1007/978-3-642-28717-6 |
Schlagwort: |
|
Sonstiges: |
|