Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Author：edited by Franz Baader, Andrei Voronkov.
Publisher：Springer-Verlag GmbH.
ISBN：9783540322757 (electronic bk.) ; 9783540252368 (paper)
Publication Date：2005
其他作者：Baader, Franz. ; Voronkov, Andrei.
語言：zh
出版地：Berlin Heidelberg :
Description

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

Search Same Author