PhD thesis,

Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz

.
Uni Erlangen-Nürnberg, (1988)

Meta data

Tags

Users

  • @genealogie

Comments and Reviews