Foreword to the Special Focus on Formal Proofs for Mathematics and Computer Science
until further notice
SourceMathematics in Computer Science, 9, 1, (2015), pp. 1-3
Article / Letter to editor
Display more detailsDisplay less details
Mathematics in Computer Science
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.