عنوان
پدید آورنده
موضوع
رده
QA76,.9 .A96,B33 2011
QA76
,.
9
.
A96
,
B33
2011
کتابخانه
محل استقرار
IR
994836
انگلیسی
IR
Methods of Cut-Elimination
[Book]
/ Matthias Baaz, Alexander Leitsch
Dordrecht ; New York
: Springer Science+Business Media
, 2011.
vi, 287 p.
: ill.
(Trends in Logic : Studia Logica Library
34)
; v
Print
Biblography
Index
1. Preface - 2. Introduction - 3. Preliminaries - 4. Complexity of cut-elimination - 5. Reduction and elimination - 6. Cut-elimination by resolution - 7. Extensions of CERES - 8. Applications of CERES - 9. CERES in nonclassical logics - 10. Related research
Automatic theorem proving
Proof theory
اثبات قضیه ماشینی
اثبات نظریه
QA76
,.
9
.
A96
,
B33
2011
Baaz, Matthias
Leitsch, Alexander، 1952-
ایران
Library of Foreign Languages and Islamic resource
old catalog
p
BL
1
a
Y
