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

作者：edited by Nikolaj Bjorner, Andrei Voronkov.
出版社：Springer Berlin Heidelberg
ISBN：9783642287176 (electronic bk.) ; 9783642287169 (paper)
出版日期：2012
其他作者：Bjorner, Nikolaj. ; Voronkov, Andrei.
語言：eng
出版地：Berlin, Heidelberg :
內容簡介

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

搜尋同作者