Logic Program Synthesis and Transformation - Meta-Programming in Logic Franco Tu
53,49 €
Titel: Logic Program Synthesis and Transformation - Meta-Programming in Logic, Untertitel: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings, Einband: Taschenbuch, Autor: Franco Turini, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 468, Maße: 235x155x26 mm, Gewicht: 703 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Mathematik Logik Philosophie / Logik Inductive Logic Programming Induktives Logisches Programmieren Meta-Programmieren Partial Deduction Partielle Deduktion Program Synthesis Programmtransformation Semantics debugging logic meta-programming programming programming language proving verification.
Jetzt bei Ebay:
