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 € ACS-Stelle 4.99 € Box Now 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: 02267768
Price: 51.75 EUR
Availability: InStock
Author: Ken McMillan
ISBN: 9783642452208

19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings

Ken McMillan

Aart Middeldorp

Andrei Voronkov

Sprache

Englisch

Buch Broschur

Libristo-Code: 02267768

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

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

Libristo-Code: 02267768

125 b

51.75 €

Externes Lager Wir versenden in 8-11 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Trait pour trait - Catalogue de l'exposition Montfort

Buch

54.18 €

Manuale di diritto dei consumi

Broschur

40.91 €

Warum sexualisierte Gewalt nicht angezeigt wird Eva Kubitza

Broschur

19.03 €

Randglossen zur hebräischen Bibel Arnold Bogumil Ehrlich

Broschur

38.38 €

Prepare Level 9 Teacher’s Book with Digital Pack Rod Fricker

Buch

42.93 €

Puzzle 1000 Spicy Table 6000-5624

Spiel

14.57 €

Invicto MARCOS VAZQUEZ GARCIA

Broschur

21.26 €

Les jeunes femmes de 50 ans Desclaux

Broschur

13.46 €

Métodos de enseñanza de la lectoescritura en la Educación Primaria Oscar Ovidio Calzadilla Pérez

Broschur

34.93 €

Denkschriften - Österreichische Akademie Der Wissenschaften, Mathematisch-naturwissenschaftliche Klasse, Volume 74... Österreichische Akademie der Wissenschaften. Mathematisch-Naturwissenschaftliche Klasse

Broschur

35.24 €

Arquitectura contemporánea en el patrimonio histórico GUIRNALDOS

Broschur

49.42 €

Gramática parda Juan García Hortelano

Broschur

12.95 €

Note Sur l'Inoculation Variolique Et La Vaccination Par Le Dr Omer Marquez, Marquez-O

Broschur

14.37 €

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 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 Ken McMillan, Aart Middeldorp, Andrei Voronkov

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 794

EAN 9783642452208

ISBN 3642452205

Libristo-Code 02267768

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

Gewicht 1200

Abmessungen 155 x 235 x 44

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