SULJE VALIKKO

avaa valikko

Z. Stachniak | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 5 tuotetta
Haluatko tarkentaa hakukriteerejä?



Resolution Proof Systems : An Algebraic Theory
Z. Stachniak
Springer (1996)
Kovakantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Resolution Proof Systems : An Algebraic Theory
Z. Stachniak
Springer (2011)
Pehmeäkantinen kirja
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
S. Leśniewski’s Lecture Notes in Logic
Jan J.T. Srzednicki; Z. Stachniak
Springer (1988)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Leśniewski’s Systems Protothetic
Jan J.T. Srzednicki; Z. Stachniak
Springer (2012)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
S. Leśniewski’s Lecture Notes in Logic
Jan J.T. Srzednicki; Z. Stachniak
Springer (2011)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Resolution Proof Systems : An Algebraic Theory
97,90 €
Springer
Sivumäärä: 208 sivua
Asu: Kovakantinen kirja
Painos: 1996
Julkaisuvuosi: 1996, 30.04.1996 (lisätietoa)
Kieli: Englanti
Tuotesarja: Automated Reasoning Series 4
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.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Resolution Proof Systems : An Algebraic Theoryzoom
Näytä kaikki tuotetiedot
ISBN:
9780792340171
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste