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 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Logic for Applications, 1

Name: Logic for Applications, 1
Brand: Springer, Berlin
SKU: 02016206
Price: 50.54 EUR
Availability: InStock
Author: Anil Nerode
ISBN: 9781461268550

Anil Nerode

Richard A. Shore

Sprache

Englisch

Buch Broschur

Libristo-Code: 02016206

Verlag Springer, Berlin, September 2012

This textbook provides a first introduction to mathematical logic which is closely attuned to the ap... Vollständige Beschreibung

Libristo-Code: 02016206

122 b

50.54 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Das Havelland um Rathenow und Premnitz Sebastian Kinder

Hardcover

40.73 €

Arbeit an sich selbst Rudolf Steiner

Broschur

5.65 €

Norsko Phil Lee

Karte

13.64 €

Facharztprüfung Dermatologie Thomas Dirschka

Broschur

79.05 €

UNE ANALYSE DE L'EXPERIENCE DE VIE DES TRAVAILLEURS DE HARITHA KARMA SENA JILUMOL M V

Broschur

39.21 €

Zástup Basma Abd al-Azíz

Broschur

13.13 €

KAIF: O stopování, kalašnikovech a japonském pornu Tony Danilov

Hardcover

9.49 €

CATHEDRAL CITY VIOLONCELLE JOHN GRAVES Drucksachen

Noten

12.32 €

L'artiste et le politique Mongin

Broschur

25.36 €

Retour de Madrid A Paris En 1834: Souvenirs Du Cholera Viardot-L

Broschur

13.74 €

Navegacao, Reconhecimento de Gesto e Controle de Interface pelo Kinect

Broschur

48.92 €

História Alegre de Portugal Manuel Pinheiro Chagas

Broschur

20.21 €

Identidad Profesional de las Docentes de Preescolar Sandra Elena Amaya Martínez

Broschur

34.87 €

EUROPA EN CRISIS, 1598-1648 NOEL G. PARKER

Hardcover

24.35 €

(CAT).(11).QUAD.MATEMATIQUES 1-1R.ESO Edebé

Broschur

10.60 €

Legende von Wasgo Band 2 Michael Rusch

Broschur

12.63 €

My Boss Marilena Barbagallo

Broschur

13.74 €

Freund oder Feind: Das Doppelleben der Mikroglia in unserem Gehirn Imke Brodersen

Broschur

20.51 €

Resimli Türkce Sözlük Kolektif

Broschur

10.20 €

Chemie 8 Příručka učitele pro základní školy a víceletá gymnázia Pavel Doulík

Broschur

24.76 €

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in computer science or mathematics.§From reviews of the first edition : "... must surely rank as one of the most fruitful textbooks introduced into computer science ... We strongly suggest it as a textbook ..." §SIGACT News

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, 1

Autor Anil Nerode, Richard A. Shore

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2012

Anzahl der Seiten 456

EAN 9781461268550

ISBN 1461268559

Libristo-Code 02016206

Verlag Springer, Berlin

Gewicht 724

Abmessungen 155 x 235 x 24

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