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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Deduction - CADE-21

Name: Automated Deduction - CADE-21
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568871
Price: 53.79 EUR
Availability: InStock
Author: Frank Pfenning
ISBN: 9783540735946

21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Frank Pfenning

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568871

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2007

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field o... Vollständige Beschreibung

Libristo-Code: 01568871

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Estudo da degradacao ambiental provocada pelas acoes socioespaciais José Gustavo da Silva Melo

Broschur

37.29 €

MORTEL.LES RIVARD ALICE Buch

binding.

32.39 €

CANCION GRIS MANILLA

Buch

8.19 €

ВКЛЮЧЕНИЕ КОММА GC JAIN

Broschur

23.29 €

200%VISUEL TABLETTES ANDROID GENEVRAY J

Broschur

26.09 €

Pourquoi la Science n'aime pas les femmes Flex

Broschur

22.39 €

Hiob Joseph Roth

Broschur

11.00 €

Fusionskontrolle im Medienbereich. Ekkehard Spieler

Broschur

59.90 €

Modern Keyboard, Beiheft 1-2 Günter Loy

Blatt

13.80 €

On the Generalized: A Buddhist View of the Analects 莲龙居士

Broschur

12.79 €

Die Kündigung des Arbeitsverhältnisses wegen Sicherheitsbedenken. Uwe Meyer

Broschur

69.90 €

Expressionismus und Georg Heyms "Der Gott der Stadt als beispielhafte, literarische Produktion Florian Meier

Broschur

17.95 €

Preussische Adel bis 1918 Thomas Hallmann

Broschur

18.95 €

Anni und der Weihnachtsmann Reinhard Heinrich

Hardcover

19.90 €

Die Geschichte Des Tom Jones, Teil 2 Henry Fielding

Broschur

12.90 €

Jana Eyrová Charlotte Brontëová

Hardcover

11.99 €

Der Tod Abels Salomon Geßner

Hardcover

24.90 €

Drehbuchschreiben und Geschichtenerzählen Jean-Claude Carri

Broschur

29.90 €

A veritable one-stop-shop for anyone looking to get up to speed on what is going down in the field of automated deduction right now. This book contains the refereed proceedings of the 21st International Conference on Automated Deduction, CADE-21, held in Bremen, Germany, in July 2007. The 28 revised full papers and 6 system descriptions presented were selected from 64 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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 Automated Deduction - CADE-21

Autor Frank Pfenning

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 524

EAN 9783540735946

ISBN 3540735941

Libristo-Code 01568871

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 813

Abmessungen 155 x 235 x 29

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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

Das könnte Sie auch interessieren

Mobile Human-Computer Interaction - Mobile HCI 2004 Stephen Brewster

Broschur

107.29 €

Magnitude and Delay Approximation of 1-D and 2-D Digital Filters Belle A. Shenoi

Broschur

53.79 €

REINCARNATION OF SHALEENA MCBA Dessie Mae

Broschur

8.89 €

Groupthink Versus High-Quality Decision Making in International Relations Scott Crichlow

Hardcover

164.39 €

Invitation to Modern Number Theory Steven J. Miller

Hardcover

130.09 €

On Literature, Culture, and Religion Irving Babbitt

Broschur

75.49 €

Cyanobacterial Toxins of Drinking Water Supplies Ian Robert Falconer

Hardcover

339.79 €

Dissertation by Way of Inquiry Into the True Import and Application of the Vision Related Dan IX Ver20 to the End, Usually Called Daniel's Prophecy of Benjamin Blayney

Broschur

19.89 €