Special Issue on User Interfaces in Theorem Proving: Preface

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	107-108
Number of pages	2
Journal	Journal of Automated Reasoning
Volume	39
Issue number	2
DOIs	https://doi.org/10.1007/s10817-007-9075-0
Publication status	Published - 1 Aug 2007

Access to Document

@article{7e05dbd5bd2b4af29d0676cfd96859f4,

title = "Special Issue on User Interfaces in Theorem Proving: Preface",

author = "David Aspinall and Christoph L{\"u}th",

year = "2007",

month = aug,

day = "1",

doi = "10.1007/s10817-007-9075-0",

language = "English",

volume = "39",

pages = "107--108",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer",

number = "2",

}