Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Berlin, Heidelberg: Springer Berlin Heidelberg, 2013
Online
Monographie, Konferenzschrift, Elektronische Ressource
- XIV, 794 p. 178 illus
Ermittle Ausleihstatus...
Titel: |
Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Ken McMillan, Aart Middeldorp, Andrei Voronkov |
Autor/in / Beteiligte Person: | McMillan, Ken ; Middeldorp, Aart [editor] ; Voronkov, Andrei [editor] |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin, Heidelberg: Springer Berlin Heidelberg, 2013 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
Umfang: | XIV, 794 p. 178 illus |
ISBN: | 9783642452215 |
DOI: | 10.1007/978-3-642-45221-5 |
Schlagwort: |
|
Sonstiges: |
|