Publication:3400627
From MaRDI portal
zbMath1184.68152MaRDI QIDQ3400627
Bengt Nordström, Yoshiki Kinoshita, Thierry Coquand, Makoto Takeyama
Publication date: 5 February 2010
Related Items
Uses Software
zbMath1184.68152MaRDI QIDQ3400627
Bengt Nordström, Yoshiki Kinoshita, Thierry Coquand, Makoto Takeyama
Publication date: 5 February 2010
Related Items
Uses Software