%0 Book
%T Logic for programming, artificial intelligence, and reasoning 10th international conference, Almaty, Kazakhstan, September 22 - 26, 2003 ; proceedings
%A LPAR 10 2003 Almaty
%A Vardi, Moshe Y.
%I Springer
%@ 3540201017
%K Logic programming Congresses
%K Automatic theorem proving Congresses
%K Konferenzschrift
%K Konferenzschrift 2003 Almaty
%K Logische Programmierung
%K Automatisches Beweisverfahren
%K Programmierlogik
%D 2003
%X Literaturangaben
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation