Proceedings First International Workshop on Hammers for Type Theories

Autor:	Maciej Zielenkiewicz, Aleksy Schubert
Rok vydání:	2016
Předmět:	Algebra Type theory business.industry law Automata theory Intuitionistic logic Intermediate logic Artificial intelligence Hammer Type (model theory) business Mathematics law.invention
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 210:2-2
ISSN:	2075-2180
DOI:	10.4204/eptcs.210.2
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::320926d4e5bc30ce133e68833af3a299 https://doi.org/10.4204/eptcs.210.2 Zobrazit plný text záznamu