عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L735 2005
QA
76
.
63
.
L735
2005
کتابخانه
محل استقرار
3-54025236-3
IR
45657
انگلیسی
IR
Logic for programming, artificial intelligence, and reasoning
[Book]
:11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
/ Franz Baader, Andrei Voronkov (eds.)
Berlin; New Y0rk
: Springer
, c2005
xi, 562 p.
:ill.
; 24 cm
English
Includes bibliographical references and index
Logic programming
Automatic theorem proving
QA
76
.
63
.
L735
2005
LPAR International Conference (11th: 2004: Montevideo, Uruguay), producer
Baader, Franz, editor
Voronkov, A, editor
Iran
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
