Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2

Logic for Programming and Automated Reasoning Andrei Voronkov

Ø 0.0
0 Bewertungen
53,49 €

Titel: Logic for Programming and Automated Reasoning, Untertitel: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings, Einband: Taschenbuch, Autor: Andrei Voronkov, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 508, Maße: 235x155x28 mm, Gewicht: 762 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logikprogrammierung Action Automat Constraint automated reasoning complexity lambda calculus logic nonmonotonic reasoning programming proving theorem proving verification.

Jetzt bei Ebay:

Zum Angebot *
  • Seiten:
    508
  • Gewicht:
    762
  • Einband:
    Taschenbuch
  • Marke:
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
  • Fachbereich:
    Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/Ma...
  • Publikationstitel:
    Logic for Programming and Automated Reasoning
  • Buchtitel:
    Logic for Programming and Automated Reasoning
  • Untertitel:
    7th International Conference, LPAR 2000 Reunion Island, France...
  • Film-/Fernseh-Titel:
    Keine Angabe
  • Musiktitel:
    Keine Angabe
  • Interpret:
    Keine Angabe
  • Schlagworte:
    Intelligenz / Künstliche Intelligenz KI Künstliche Intellige...
  • ISBN:
    9783540412854
  • Reihe:
    Lecture Notes in Artificial Intelligence
  • Produktart:
    Lehrbuch
  • Format:
    Taschenbuch
  • Erscheinungsjahr:
    2000
  • Anzahl der Seiten:
    508 Seiten
  • Autor:
    Michel Parigot, Andrei Voronkov
  • Verlag:
    Springer Berlin Heidelberg, Springer Berlin
  • Publikationsname:
    Logic For Programming And Automated Reasoning
  • Sprache:
    Englisch
  • Standardversand:
    DHL Kleinpaket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
  • Standardversand:
    DHL Paket 3,99 EUR - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
  • Versand nach:
    Deutschland
  • Versand ausgeschlossen:
    Afrika , Asien , Mittelamerika und Karibik , Dänemark , Schweiz , Vatikan , Moldawien , Republik Kroatien , Portugal , Malta , ... und weitere

Ähnliche Artikel

Produktbild - Andrei Voronkov (u. a.) | Logic for Programming and Automated Reasoning | Buch

Andrei Voronkov (u. a.) | Logic for Programming and Automated Reasoning | Buch

49,95 €
Zum Angebot
Produktbild - Logic for Programming and Automated Reasoning Andrei Voronkov (u. a.) Buch 2000

Logic for Programming and Automated Reasoning Andrei Voronkov (u. a.) Buch 2000

51,90 €
Zum Angebot
Produktbild - Logic Programming and Automated Reasoning Andrei Voronkov

Logic Programming and Automated Reasoning Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Logic Programming and Automated Reasoning Andrei Voronkov

Logic Programming and Automated Reasoning Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Andrei Voronkov | Logic Programming and Automated Reasoning | Taschenbuch (1993)

Andrei Voronkov | Logic Programming and Automated Reasoning | Taschenbuch (1993)

49,95 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

Logic for Programming, Artificial Intelligence, and Reasoning Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Logic Programming Andrei Voronkov

Logic Programming Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Andrei Voronkov (u. a.) | Logic for Programming, Artificial Intelligence, and...

Andrei Voronkov (u. a.) | Logic for Programming, Artificial Intelligence, and...

49,95 €
Zum Angebot
Produktbild - Logic Programming and Automated Reasoning Harald Ganzinger

Logic Programming and Automated Reasoning Harald Ganzinger

53,49 €
Zum Angebot
Produktbild - Logic Programming and Automated Reasoning Frank Pfenning

Logic Programming and Automated Reasoning Frank Pfenning

53,49 €
Zum Angebot
Produktbild - Harald Ganzinger (u. a.) | Logic Programming and Automated Reasoning | Buch

Harald Ganzinger (u. a.) | Logic Programming and Automated Reasoning | Buch

49,95 €
Zum Angebot
Produktbild - Frank Pfenning | Logic Programming and Automated Reasoning | Taschenbuch (1994)

Frank Pfenning | Logic Programming and Automated Reasoning | Taschenbuch (1994)

49,95 €
Zum Angebot
Produktbild - Logic Programming and Automated Reasoning Frank Pfenning Taschenbuch xii 1994

Logic Programming and Automated Reasoning Frank Pfenning Taschenbuch xii 1994

51,90 €
Zum Angebot
Produktbild - Ken McMillan (u. a.) | Logic for Programming, Artificial Intelligence, and...

Ken McMillan (u. a.) | Logic for Programming, Artificial Intelligence, and...

49,95 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning | Voronkov (u. a.)

Logic for Programming, Artificial Intelligence, and Reasoning | Voronkov (u. a.)

97,95 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning | Voronkov (u. a.)

Logic for Programming, Artificial Intelligence, and Reasoning | Voronkov (u. a.)

97,95 €
Zum Angebot
Produktbild - Automated Deduction - CADE-18 Andrei Voronkov

Automated Deduction - CADE-18 Andrei Voronkov

53,49 €
Zum Angebot
Produktbild - Logic for Programming, Artificial Intelligence, and Reasoning Voronkov (u. a.)

Logic for Programming, Artificial Intelligence, and Reasoning Voronkov (u. a.)

97,90 €
Zum Angebot
* Affiliate-Link zur Verkaufsplattform Ebay