Programmable heuristics for theorem provers

Autor:	Sam Owre, William F. Wilson
Rok vydání:	1985
Předmět:	Theorem provers Computer-assisted proof Theoretical computer science Computer science General Medicine Heuristics Algorithm
Zdroj:	ACM SIGSOFT Software Engineering Notes. 10:70-71
ISSN:	0163-5948
DOI:	10.1145/1012497.1012524
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5255e817864567aac453abccddf27b59 https://doi.org/10.1145/1012497.1012524 Zobrazit plný text záznamu