Experiments with two Theoretical Constructions
- Träff, Jesper Larsson
Shortfacts
Category |
Paper in Conference Proceedings or in Workshop Proceedings |
Event Title |
Proceedings of the Logic at Botik |
Divisions |
Scientific Computing |
Event Location |
Pereslav-Zalessky, USSR |
Event Type |
Conference |
Event Dates |
NULL |
Publisher |
Springer |
Page Range |
119--133 |
Date |
1989 |
Export |