Termination Proofs for Logic Programs

Name: Termination Proofs for Logic Programs
Price: 19.18 EUR
Availability: OutOfStock
Author: Lutz Plumer
ISBN: 978-0-387-52837-3

Lutz Plumer(Autor*in)

Springer (Verlag)

Erschienen am 1. Juli 1990

Buch

Softcover

142 Seiten

978-0-387-52837-3 (ISBN)

19,18 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details