Journal article
Preface
Authors
Carette J; Wenzel M; Wiedijk F
Journal
Journal of Automated Reasoning, Vol. 44, No. 1-2,
Publisher
Springer Nature
Publication Date
2 2010
DOI
10.1007/s10817-009-9141-x
ISSN
0168-7433
Experts has a new look! Let us know what you think of the updates.
Provide feedback