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

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Nikolaj Bjørner, Andrei Voronkov (edición)
Aineistotyyppi: Kirja
Kieli:englanti
Julkaistu: Berlín, Alemania : Springer, 2012, c2012
Sarja:(Lecture Notes in Computer Science)
Linkit:Ver documento en línea
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!