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 :-(

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01571017
Price: 97.89 EUR
Availability: InStock
Author: Iliano Cervesato
ISBN: 9783540894384

15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Iliano Cervesato

Helmut Veith

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 01571017

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, November 2008

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Pro... Vollständige Beschreibung

Libristo-Code: 01571017

240 b

97.89 € inkl. MwSt.

Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Sporťákovy pohádky z celého světa Vojtěch Bernatský

Hardcover

11.79 €

BATMAN: EL REGRESO DEL CABALLERO OSCURO (DC BLACK LABEL POCKET) MILLER

Broschur

12.99 €

Esku alatt Steve Cavanagh

Adobe ePub DRM

10.49 €

Perspectieven van studenten op onderwijsinteractie

Broschur

31.09 €

NÁBOŽENSTVÍ V GLOBÁLNÍ OBČANSKÉ SPOLEČNOSTI Jiří Hanuš

Buch

6.39 €

EL BRUC : EL MEDI, LA HISTORIA, L'ART ESTRADA PLANELL

Buch

12.89 €

Pediatra de Atención Primaria del Servicio Aragonés de Salud. Temario común volumen 2 Editores

Broschur

36.89 €

histoire de france et des francais cm Billebault Buch

Hardcover

9.39 €

Bůh a božství v německém filosofickém myšlení Ladislav Benyovszky

Broschur

9.39 €

Annali Dell' Industria E Del Commercio, 1882: Il Corallo (1883) Giovanni Canestrini

Broschur

21.09 €

V lese Čo veverička videla Anna Milbourne

Leporello

4.19 €

Die Sachkultur des Mittelalters im Lichte der archaeologischen Funde Sabine Felgenhauer-Schmiedt

Broschur

71.29 €

Lehrbuch Der Inneren Medizin Ernst Lauda

Broschur

59.99 €

Kinderschutzklauseln zur Begrenzung der Zerrüttungsscheidung im Rechtskreis der Bundesrepublik Deutschland und der ehemaligen DDR. Rainer Strauß

Broschur

59.90 €

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008.§The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

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 Programming, Artificial Intelligence, and Reasoning

Autor Iliano Cervesato, Helmut Veith, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 714

EAN 9783540894384

ISBN 3540894381

Libristo-Code 01571017

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

Gewicht 1098

Abmessungen 155 x 235 x 28

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

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

EDV und Informationstechnologie > Betriebssysteme

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