Stock image for illustration purposes only - book cover, edition or condition may vary.
Automated Deduction in Classical and Non-Classical Logics
. Ed(S): Caferra, Ricardo; Salzer, Gernot
€ 65.03
FREE Delivery in Ireland
Description for Automated Deduction in Classical and Non-Classical Logics
paperback. This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm. Editor(s): Caferra, Ricardo; Salzer, Gernot. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 312 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 16. Weight in Grams: 480.
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility ... Read more
Thisvolumeisacollectionofpapers onautomateddeduction inclassical,modal, and many-valued logics, with an emphasis on rst-order theories. Some authors bridgethe gaptohigher-order logicbydealingwithsimpletype theory ina r- order setting, or by resolving shortcomings of r st-order logic with the help of higher-order notions. Most papers rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm. In its entirety the volume is a mirror of contemporary research in r st-order theorem proving. One trend to be observed is the interest in e ective decision procedures. The main aim of rs t-order theorem proving was and still is to demonstrate the validity or unsatisa bility ... Read more
Product Details
Format
Paperback
Publication date
2000
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
312
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
304
Place of Publication
Berlin, Germany
ISBN
9783540671909
SKU
V9783540671909
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automated Deduction in Classical and Non-Classical Logics