The Watson theorem prover

DOI10.1023/A:1010652212067zbMATH Open1003.68151OpenAlexW1561644379MaRDI QIDQ5947358

Jim Alves-Foss, M. Randall Holmes

Publication date: 9 October 2002

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010652212067

zbMATH Keywords

formal reasoning

Mathematics Subject Classification ID

Related Items (1)

Watson

Uses Software

• HOL
• Nuprl
• LCF
• IMPS
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: The Watson theorem prover

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5947358)