A Fault Tolerant Connectionist Architecture for Construction of Logic Proofs

Autor:	Pinkas, Gadi
Rok vydání:	1993
DOI:	10.7936/k7ns0s4c
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2f726bcec9e5e0a159b1544767fd250c Zobrazit plný text záznamu