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.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656184
Price: 119.39 EUR
Availability: InStock
Author: Jürgen Giesl
ISBN: 9783642142024

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Jürgen Giesl

Reiner Hähnle

Sprache

Englisch

Buch Broschur

Libristo-Code: 01656184

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2010

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Vollständige Beschreibung

Libristo-Code: 01656184

292 b

119.39 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson

Hardcover

27.29 €

Die Kunst des Zeichnens - Das Standardwerk Frechverlag

Hardcover

28.00 €

Artistas Cristina Serret

Adobe ePub DRM

9.09 €

Einführung in die Kautschuktechnologie Georg Abts

Hardcover

69.99 €

Je valorise mes déchets verts au jardin Denis Pépin

Broschur

22.49 €

Entwicklung von Autonomie und Paternalismus Hugo Esteva

Broschur

39.90 €

INT.DINAMICA KEYNESI KURIHAR

Buch

6.29 €

Whisky-Witze Wolfgang F. Rothe

Hardcover

19.95 €

AULAS INCLUSIVAS Mª EUGENIA PEREZ

Hardcover

58.09 €

L'' cole Normale Romuald Normand

Broschur

91.29 €

String Quartets 1+2 Shostakovich Quartet

Audio CD

12.99 €

Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola

Broschur

26.89 €

Her Sey Allah&#305 Hekimoglu ismail

Broschur

6.99 €

UEber Nithards Gerold Meyer Von Knonau

Broschur

17.90 €

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.

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 Reasoning

Autor Jürgen Giesl, Reiner Hähnle

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 536

EAN 9783642142024

ISBN 3642142028

Libristo-Code 01656184

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

Gewicht 815

Abmessungen 155 x 238 x 30

Kategorie

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

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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