托比亚斯·尼普科 🌐和劳伦斯·保尔森 🌐
2008年11月7日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
带平铺的趣味-AFP
@文章{FunWithTilings-AFP,author={托比亚斯·尼普科和劳伦斯·保尔森},title={有趣的平铺},journal={正式证据存档},月份={十一月},年份={2008},注释={\url{https://isa-afp.org/entries/FonWithTilings.html},形式证明开发},ISSN={2150-914x},}
旧版本: