عنوان
پدید آورنده
موضوع
رده
005 .115 I61L 2005
005
.
115
I61L
2005
کتابخانه
محل استقرار
262205
انگلیسی
IR
Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005: proceedings
[book]
/ Geoff Sutcliffe, Andrei Voronkov (eds.)
Berlin York
: Springer
، 2005
xiv, 744 p.
: tables, charts
Lecture notes in computer science
: 3835
Includes bibliographical references and indexes
Logic programming
Automatic theorem proving
Artificial intelligence
-- Congresses
-- Congresses
-- Congresses
005
.
115
I61L
2005
QA76
.
63
.
L735
2005b
Sutcliffe, Geoff
Voronkov, Andrei
1959-
، 1959-
creator
creator
International conference LPAR
author
ایران
QA76.63 .L735 2005b
Previous cataloging
BL
1
Y
