Foreword

R.C. Backhouse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationWorkshop on user interfaces for theorem provers
Publication statusPublished - 1998

Cite this