Logic for programming, artificial intelligence, and reasoning：11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings

Corporate Authors: LPAR 2004 (2005 Mar. 14-18 Montevideo, Uruguay)
Group Author: Voronkov A.; (Andreĭ), 1959-; Baader Franz.
Published: Springer,
Publication Dates: c2005.
Call Number: TP311-532/I613/2004