Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Resolution Proof Systems

Name: Resolution Proof Systems
Brand: Springer Netherlands
SKU: 01395066
Price: 108.67 EUR
Availability: InStock
Author: Z. Stachniak
ISBN: 9780792340171

An Algebraic Theory

Z. Stachniak

Език

Английски език

Книга С твърди корици

Код Либристо: 01395066

Издателство Springer Netherlands, ноември 1995

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and... Цялото описание

Код Либристо: 01395066

263 b

108.67 €

212.54 лв

Външен склад Изпращаме след 10-13 дни

30 дни за връщане на стоката

Клиентите са закупили също

De bello Gallico aesar

С меки корици

19.10 € 37.36 лв

LA PETITA ENCICLOPEDIA DEL PROCÈS PAU CLUA SARRO

С твърди корици

18.06 € 35.33 лв

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

С меки корици

40.59 € 79.38 лв

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

С меки корици

6.88 € 13.46 лв

Das Collège de Sociologie 1937-1939 Denis Hollier

С меки корици

28.26 € 55.28 лв

Die Kostentragungspflicht des Arbeitgebers für Rechtsanwaltskosten des Betriebsrats im Rahmen von 40 Abs. 1 BetrVG. Dietmar Müller-Boruttau

С меки корици

83.82 € 163.93 лв

Das Wolkenschaf Fred Rodrian

С твърди корици

12.06 € 23.58 лв

Un dia volvere Juan Marse

С меки корици

13.77 € 26.93 лв

Ambaraba Fabio Casati

С меки корици

24.23 € 47.38 лв

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.