Willkommen. Schön, sind Sie da!
Mein Ex Libris

Termination Proofs for Logic Programs

(0)
Erste Bewertung abgeben
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial p...

Tiefpreis

CHF73.60

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband