Logic for Programming, Artificial Intelligence, and Reasoning electronic resource : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings / edited by Nikolaj Bjørner, Andrei Voronkov
- Författare
- Venezuela) 2012 : (18th LPAR (Conference) Mérida
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
uuuu-uuuu | Utgivningsland okänt / Ej specificerat |