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

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02823127
Price: 51.68 EUR
Availability: InStock
Author: Martin Davis
ISBN: 9783662488980

20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 02823127

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2015

This book constitutes the proceedings of the 20th International Conference§on Logic for Programming,... Vollständige Beschreibung

Libristo-Code: 02823127

125 b

51.68 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

FARBSCHLÜSSEL-SYSTEME IN DER ZAHNMEDIZIN Vivek Choukse

Broschur

54.31 €

Miteinander! Deutsch für Alltag und Beruf A2 Anja Böttinger

Broschur

11.52 €

Moja wina Ron Mercedes

Broschur

10.92 €

Paw Patrol Girl 3tlg. Frühstücksset

Spielzeug

15.16 €

Della Educazione E Dell' Istruzione Libri Due Di Raffaello Lambruschini, Libro Primo: Della Educazione (1850) Raffaello Lambruschini

Broschur

34.08 €

Blockchain Wayne Walker

Broschur

10.81 €

Corpus Hermeticum Eduardo Filipe Freitas

Broschur

10.81 €

Komiksová Kytice Erben Karel Jaromír

Broschur

35.90 €

Zman Ltefilah Volume 3: Amidah Hillary Zana

Broschur

12.94 €

Fundamente der Mathematik - Baden-Württemberg - 7. Schuljahr Kathrin Andreae

Hardcover

35.80 €

This book constitutes the proceedings of the 20th International Conference§on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-20, held§in November 2015, in Suva, Fiji.§§The 43 regular papers presented together with 1 invited talk included in§this volume were carefully reviewed and selected from 92 submissions. The§series of International Conferences on Logic for Programming, Artificial§Intelligence and Reasoning (LPAR) is a forum where, year after year, some of§the most renowned researchers in the areas of logic, automated reasoning,§computational logic, programming languages and their applications come to§present cutting-edge results, to discuss advances in these fields, and to§exchange ideas in a scientifically emerging part of the world.§

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 Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2015

Anzahl der Seiten 640

EAN 9783662488980

ISBN 3662488981

Libristo-Code 02823127

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

Gewicht 9767

Abmessungen 155 x 235 x 37

Kategorie

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

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

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