Algorithms from theorems:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Jeuring, Johan (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam 1990
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,6
Links:https://ir.cwi.nl/pub/5761
Umfang:20 S.