Home
Scholarly Works
Preface
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
February 1, 2010
DOI
10.1007/s10817-009-9141-x
ISSN
0168-7433
Associated Experts
David Feeny
Professor Emeritus, Faculty of Social Sciences
Visit profile
Jacques Carette
Professor, Faculty of Engineering
Visit profile
Ronald Duncan Barr
Professor Emeritus, Faculty of Health Sciences
Visit profile
Labels
Fields of Research (FoR)
4613 Theory of computation
46 Information and Computing Sciences
4602 Artificial intelligence
4612 Software engineering
View published work (Non-McMaster Users)
View published work (McMaster Users)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback