Skip to main content
Log in
Search all Mathematics in Computer Science articles

Volume 8, Issue 1

March 2014

Enabling Domain Experts to Use Formalized Reasoning

Issue Editors:
  • Manfred Kerber,
  • Colin Rowat,
  • Christoph Lange
6 articles in this issue
  1. Foreword

    • Manfred Kerber
    • Christoph Lange
    • Colin Rowat
    EditorialNotes 19 April 2014 Pages: 1 - 4

Navigation