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 alacsony példányszámban
Küldés 13-18 napon belül
41 351 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

Control of Discrete-Time Descriptor Systems

Alexey A Belov
47 208 Ft

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

Ruby Warrington
8 039 Ft

Digital Audiobooks

Birgitte Stougaard Pedersen
88 499 Ft

Teach Us to Number Our Days

Barbara Dee Bennett Baumgarten
6 948 Ft

Global Positioning System for future Railway Control Systems

Yuheng Zheng
31 116 Ft

Places

Philip Yenawine
3 635 Ft

Edinburgh History of the Greeks, 1453 to 1768

Molly Greene
18 892 Ft

Idiosyncratic Person-Centred Therapy

Suzanne Keys
8 983 Ft

Death's Shadow

Darren Shan
4 043 Ft

Conceptual Structure of Reality

Gal Yehezkel
19 736 Ft

Positively Teenage

Nicola Morgan
3 648 Ft

It's Hard to Be Hip Over Thirty

Judith Viorst
6 045 Ft

Neutral Upper Atmosphere

S.N. Ghosh
41 351 Ft

CDMA Radio with Repeaters

Joseph Shapira
63 442 Ft

Machining Dynamics

Tony L. Schmitz
55 710 Ft

Cambridge English Skills Real Reading 3 without answers

Liz Driscoll
7 049 Ft

Comparative Theories of Nonduality

Milton Scarborough
68 543 Ft

Liberal Terror

Brad Evans
11 046 Ft

All The Sad Young Men

Francis Scott Fitzgerald
3 460 Ft

British Palaeolithic

Paul Pettitt
88 513 Ft

GET REAL Level 1 Elementary Full edition Student's Book + CD-ROM

Martyn Hobbs
6 279 Ft

Lion Within

J. H. Croix
5 262 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 916 Ft

LA PETITA ENCICLOPEDIA DEL PROCÈS

PAU CLUA SARRO
5 422 Ft

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

Giovanni Cappellotto
21 496 Ft

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

Markus Schirner
2 269 Ft

Das Collège de Sociologie 1937-1939

Denis Hollier
9 432 Ft

Die Kostentragungspflicht des Arbeitgebers für Rechtsanwaltskosten des Betriebsrats im Rahmen von 40 Abs. 1 BetrVG.

Dietmar Müller-Boruttau
33 586 Ft

Un dia volvere

Juan Marse
4 592 Ft

Ambaraba

Fabio Casati
8 108 Ft