Title: Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings /
Authors: Dershowitz, Nachum.; Voronkov, A. 1959-
Publisher: Springer,
Year: 2007
Subjects: Logic programming Congresses.; Artificial intelligence Congresses; Automatic theorem proving Congresses.