The Collected Works of Larry Wos (In 2 Volumes) - Volume I: Exploring the Power of Automated Reasoning - Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions

Autor:	Larry Wos, Gail W Pieper
Rok vydání:	2000
Předmět:	Computer science business.industry Volume (computing) Automated reasoning Artificial intelligence business Power (physics)
Zdroj:	The Collected Works of Larry Wos (In 2 Volumes)-Volume I: Exploring the Power of Automated Reasoning-Volume II: Applying Automated Reasoning to Puzzles, Problems, and Open Questions
DOI:	10.1142/9789812813411
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e600f7292836cbb1d3294b60802b36b9 https://doi.org/10.1142/9789812813411 Zobrazit plný text záznamu