Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Resolution Proof Systems Zbigniew Stachniak

Resolution Proof Systems

An Algebraic Theory

Szerző: Zbigniew Stachniak
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 435 Ft
Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and...

Információk a könyvről

Szerző
Zbigniew Stachniak
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2011
oldal
224
EAN
9789401072519
ISBN
9789401072519
Enbook ID
06624280
Kiadó
Springer
Súly
371
Méretek
160 x 240 x 12

Teljes leírás

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and analysis of resolution- based automated reasoning systems for a range of non-classical logics. It develops an algebraic theory of resolution proof systems focusing on the problems of proof theory, representation and efficiency of the deductive process. §A new class of logical calculi, the class of resolution logics, emerges as a second theme of the book. The logical and computational aspects of the relationship between resolution logics and resolution proof systems is explored in the context of monotonic as well as nonmonotonic reasoning. §This book is aimed primarily at researchers and graduate students in artificial intelligence, symbolic and computational logic. The material is suitable as a reference book for researchers and as a text book for graduate courses on the theoretical aspects of automated reasoning and computational logic.

Érdekelheti

Visualization and Simulation of Complex Flows in Biomedical Engineering

Yohsuke Imai
38 435 Ft

The Political Dynamics of Partisan Polarization

Eric R. Schmidt
9 695 Ft

New Edition Survival English Worbook

Peter Viney
5 675 Ft

Progress Through Mental Prayer

Edward Leen
11 356 Ft

Latin and Greek Monasticism in the Crusader States

Bernard Hamilton
49 196 Ft

Ceri and Deri: The Treasure Map

Max Low
5 138 Ft

Friends Rock: An Acorn Book (Unicorn and Yeti #3)

Heather Ayris Burnell
1 804 Ft

Chokolate

Pharaoh Robinson
3 831 Ft

Cinq-Mars or a Conspiracy Under Louis XIII

Alfred De Vigny
12 761 Ft

Women in Agriculture

Marie Maman
19 645 Ft

Selections from the Works of Charles Reade. with an Introduction by Mrs. A. Ireland, Etc.

Annie Elizabeth Ireland
10 049 Ft

Quantitative Techniques for Business Decision Making

Felix Opoku
26 431 Ft

Modified mass-spring system for physically based deformation modeling

Oussama Jarrousse
15 429 Ft

Understanding the City - Contemporary and Future Perspectives

Eade
29 282 Ft

General Will

Andrew Levine
49 196 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Gesammelte Aufsätze, Band 1

Karl Kraus
5 094 Ft

Teoria de Reactores Nucleares

Héctor René Vega-Carrillo
16 436 Ft

Sophie Charlotte, Die Philosophische Konigin V2 (1857)

Julius Bacher
10 657 Ft

Un corazón lleno de estrellas

ALEX ROVIRA
4 682 Ft

Neues aus Thedos Küche

Gerhard Hoppmann
1 674 Ft