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

Resolution Proof Systems

An Algebraic Theory

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

Információk a könyvről

Szerző
Z. Stachniak
Nyelv
Angol
Kötés
Könyv - Kemény kötésű
Kiadva
1996
oldal
208
EAN
9780792340171
ISBN
0792340175
Enbook ID
01395066
Kiadó
Springer Netherlands
Súly
499
Méretek
160 x 240 x 14

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

Idiosyncratic Person-Centred Therapy

Suzanne Keys
8 787 Ft

Lion Within

J. H. Croix
5 147 Ft

Control of Discrete-Time Descriptor Systems

Alexey A Belov
46 177 Ft

It's Hard to Be Hip Over Thirty

Judith Viorst
5 913 Ft

Positively Teenage

Nicola Morgan
4 761 Ft

Material Girl, Mystical World: The Now Age Guide to a High-Vibe Life

Ruby Warrington
7 877 Ft

Digital Audiobooks

Birgitte Stougaard Pedersen
86 566 Ft

Teach Us to Number Our Days

Barbara Dee Bennett Baumgarten
6 797 Ft

Global Positioning System for future Railway Control Systems

Yuheng Zheng
30 436 Ft

Places

Philip Yenawine
3 569 Ft

Edinburgh History of the Greeks, 1453 to 1768

Molly Greene
18 480 Ft

Death's Shadow

Darren Shan
3 968 Ft

Conceptual Structure of Reality

Gal Yehezkel
19 305 Ft

Neutral Upper Atmosphere

S.N. Ghosh
38 497 Ft

CDMA Radio with Repeaters

Joseph Shapira
62 070 Ft

Machining Dynamics

Tony L. Schmitz
54 493 Ft

Comparative Theories of Nonduality

Milton Scarborough
67 046 Ft

Liberal Terror

Brad Evans
10 804 Ft

All The Sad Young Men

Francis Scott Fitzgerald
3 385 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

De bello Gallico

aesar
6 765 Ft

Nový způsob léčby grapefruitovými jádry

Markus Schirner
2 304 Ft

Das Collège de Sociologie 1937-1939

Denis Hollier
9 240 Ft

E-commerce. La guida definitiva. Progettare e realizzare un negozio online di successo

Giovanni Cappellotto
13 279 Ft

Un dia volvere

Juan Marse
4 479 Ft

LA PETITA ENCICLOPEDIA DEL PROCÈS

PAU CLUA SARRO
5 913 Ft

Ambaraba

Fabio Casati
7 976 Ft