Autor:	Martín Mateos, Francisco Jesús
Přispěvatelé:	Alonso Jiménez, José Antonio, Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Rok vydání:	2002
Předmět:	ACL2 (Lenguaje de programación) Demostración automática Inteligencia artificial académicas Teoremas
Zdroj:	idUS. Depósito de Investigación de la Universidad de Sevilla instname
Popis:	En este trabajo se desarrolla una formalización de sistemas de razonamiento proposicionales y se verifican automáticamente sus principales propiedades en el sistema de demostración automática ACL2. Premio Extraordinario de Doctorado US
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::628faeeed2469638cb3864fa266d5279 https://idus.us.es/handle/11441/14970 Zobrazit plný text záznamu