Termination Proofs for Logic Programs Lutz Plümer
64,19 €
Titel: Termination Proofs for Logic Programs, Einband: Taschenbuch, Autor: Lutz Plümer, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 156, Maße: 235x155x9 mm, Gewicht: 248 g, Verkäufer: buch-mimpf, Schlagworte: Logik Philosophie / Logik Automat Logische Programmierung Partielle Auswertung Semantics Termination Terminierung Verifikation automation linear predicate inequalities lineare Prädikatungleichungen logic logic programs partial evaluation programming verification.
Jetzt bei Ebay:
