Analysing rule sets for the calculation of banking fees by a theorem prover with constraints
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. (Fachberichte Informatik ; 14/95)
Erscheinungsjahr: 1995
Publikationstyp: Buch
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Stolzenburg, Frieder (Autor)
Thomas, Bernd (Autor)
