Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings

Author：edited by Nikolaj Bjorner, Andrei Voronkov.
Publisher：Springer Berlin Heidelberg
ISBN：9783642287176 (electronic bk.) ; 9783642287169 (paper)
Publication Date：2012
其他作者：Bjorner, Nikolaj. ; Voronkov, Andrei.
語言：eng
出版地：Berlin, Heidelberg :
Description

xi, 446 p. ::ill., digital ;:24 cm.

Search Same Author