عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9783540710691
IR
ebook48370
انگلیسی
IR
Automated Reasoning
[Electronic Resource]
:4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, proceedings
/ Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Berlin ;New York :Springer,
, 2008.
xii, 556 p.
: ill. ; 24 cm.
(Lecture notes in computer science
; 5195.Lecture notes in artificial intelligence)
e
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.Lecture notes in artificial intelligence
5195
IJCAR 2008
Automatic theorem proving--Congresses
Computer logic--Congresses
004
,
01
,
5113
Armando, Alessandro
Baumgartner, Peter
Dowek, Gilles
IJCAR 2008(4th :,2008 :Sydney, Australia)
ایران
004,01,5113
9783540710691.pdf
0
old catalog
e
BL
1
a
Y
