Schubert, E. Thomas - Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings (Lecture Notes in Computer Science, 971, Band 971)

SCHUBERTH - Casco C5 Globe Blue 3XL