Eine klassen-definierende höherstufige Attributenlogik
By: Yoshio Hara
Published: 1989
Language: ger
Number of pages: 125
Notes: Kiel, Univ., Math.-Naturwiss. Fak., Diss., 1989.