Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Nikolaj Bjørner, Andrei Voronkov (edición)
Format: Knjiga
Jezik:angleščina
Izdano: Berlín, Alemania : Springer, 2012, c2012
Serija:(Lecture Notes in Computer Science)
Online dostop:Ver documento en línea
Oznake: Označite
Brez oznak, prvi označite!