Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968

Autor:	M. Laudet, D. Lacombe, L. Nolin, M. Schützenberger
Předmět:	Mathematical logic
Kategorie:	MATHEMATICS / Logic
Databáze:	eBook Index
Externí odkaz:	Zobrazit plný text záznamu