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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic for Applications

Name: Logic for Applications
Brand: Springer, Berlin
SKU: 01429198
Price: 94.39 EUR
Availability: InStock
Author: Anil Nerode
ISBN: 9781468402131

Anil Nerode

Richard A. Shore

Sprache

Englisch

Buch Broschur

Libristo-Code: 01429198

Verlag Springer, Berlin, November 2011

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction... Vollständige Beschreibung

Libristo-Code: 01429198

231 b

94.39 € inkl. MwSt.

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Depend?ncia de smartphones e seu impacto no sistema músculo-esquelético Ashish Dobhal

Broschur

40.99 €

Balance de nitrógeno y emisiones de GEI en pastos tropicales Bruno José Alves

Broschur

51.19 €

Der neue Landdoktor Paket 1 - Arztroman Tessa Hofreiter

Adobe ePub DRM

178.99 €

Abych nezapomněl Lukáš Prchal

Broschur

3.79 €

ΑΡΧΑΙΟΙ ΕΛΛΗΝΕΣ Πλάτων (427 - 347 π.Χ.) Χαράλαμπος Τ. Γκόλιας

Broschur

16.19 €

La vallée des lis Thomas A. Kempis

Broschur

21.89 €

Le Bruit du temps Ossip Mandelstam

Broschur

17.69 €

Kommissar Batdorj und die alten Helden von Chowd-Aimag Span Nungpur

Broschur

7.90 €

Freut euch, denn der Herr ist nahe ! Otto

Broschur

17.50 €

Die Germanische Urgeschichte in Tacitus Germania (1922) Eduard Norden

Broschur

43.59 €

MARVEL STUDIOS MARVEL

Hardcover

24.39 €

Seitz - Silvestre Andreas Beyer

Hardcover

339.39 €

Le Secret de la Paix Sociale: Etude Dediee A M. Le Comte Albert de Mun Orry-A-M

Broschur

17.09 €

Turismo Astronomico Laura Garach

Broschur

38.29 €

Composicao centesimal e perfil de acidos graxos da carne de cordeiro Lima Lopes Jose Evanaldo

Broschur

33.59 €

This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic Programming. A distinctive feature of this book is its uniform mathematical treatment of logic, based on the tableau method of classical logic, which includes soundness, completeness, compactness, incompleteness, and the theorems of Herb Rand and Skolem-L Wenheim. The same uniform treatment is used for important areas of application in computer science and artificial intelligence. These include resolution theorem proving, Logic Programming and Prolog, Predicate Intuitionistic Logic, and Predicate Modal Logic. There is also an historical appendix and an extensive list of selected references so that both the background and more advanced developments of these subjects can be understood and pursued. This text is appropriate for upper level undergraduate and beginning graduate students.

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 Logic for Applications

Autor Anil Nerode, Richard A. Shore

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 365

EAN 9781468402131

Libristo-Code 01429198

Verlag Springer, Berlin

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerhardware

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