Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Resolution Proof Systems

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

An Algebraic Theory

Z. Stachniak

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01395066

Verlag Springer Netherlands, November 1995

Resolution Proof Systems: An Algebraic Theory presents a new algebraic framework for the design and... Vollständige Beschreibung

Libristo-Code: 01395066

236 b

96.29 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ambaraba Fabio Casati

Broschur

19.09 €

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

Broschur

89.90 €

LA PETITA ENCICLOPEDIA DEL PROCÈS PAU CLUA SARRO

Hardcover

14.39 €

Un dia volvere Juan Marse

Broschur

12.59 €

Puzzle MAXI - Džungle/20 dílků

Puzzle

10.99 €

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

Broschur

6.39 €

De bello Gallico aesar

Broschur

18.00 €

Das Collège de Sociologie 1937-1939 Denis Hollier

Broschur

26.00 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Resolution Proof Systems

Autor Z. Stachniak

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 1996

Anzahl der Seiten 208

EAN 9780792340171

ISBN 0792340175

Libristo-Code 01395066

Verlag Springer Netherlands

Gewicht 499

Abmessungen 160 x 240 x 14

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert