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

Logic Programming and Automated Reasoning Harald Ganzinger

Ø 0.0
0 Bewertungen
53,49 €

Titel: Logic Programming and Automated Reasoning, Untertitel: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings, Einband: Taschenbuch, Autor: Harald Ganzinger, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 416, Maße: 235x155x23 mm, Gewicht: 628 g, Verkäufer: buch-mimpf, Schlagworte: Logikprogrammierung Formal Specification Logic Programming automated reasoning complexity logic model checking programming rewriting systems.

Jetzt bei Ebay: