Aussagenlogische Dynamische Logik als Programmlogik
By: von Andreas Wilm
Published: 1988
Language: ger
Number of pages: 134
Notes: Thesis (doctoral)--Christian-Albrechts Universität zu Kiel, 1988.