Formalization of Shannon's theorems
From MaRDI portal
Publication:2352494
DOI10.1007/s10817-013-9298-1zbMath1315.68216MaRDI QIDQ2352494
Reynald Affeldt, Manabu Hagiwara, Jonas Sénizergues
Publication date: 2 July 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-013-9298-1
Uses Software