Logic Program Synthesis and Transformation Maurizio Proietti
53,49 €
Titel: Logic Program Synthesis and Transformation, Untertitel: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings, Einband: Taschenbuch, Autor: Maurizio Proietti, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 284, Maße: 235x155x16 mm, Gewicht: 435 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Informatik / Allgemeines Logik Philosophie / Logik Synthese Transformation (mathematisch) Horn Clauses Horn-Klauseln Logic Programming Optimization Program Synthesis Program Transformation Programmsemantik Programmsynthese algorithms complexity logic logisches Programmieren program semantics proving theorem proving.
Jetzt bei Ebay:
