The Watson theorem prover Academic Article

• View record in Web of Science ®
• Link to Article via DOI

Overview

authors

• Alves-Foss, Jim
• Holmes, M Randall

publication date

• May 2001

has restriction

• Copyright 2015 - Thomson Reuters. All rights reserved. You may not reproduce or redistribute this data in whole or in part without the written consent of Thomson Reuters.

published in

• Journal of Automated Reasoning  Journal

Identity

Digital Object Identifier (DOI)

• 10.1023/A:1010652212067

Additional Document Info

start page

• 357

end page

• 408

volume

• 26

issue

• 4