Publication
Detail
Publication date: 01/01/2012Dependencies in formal mathematics: Applications and extraction for Coq and Mizar
Publisher | Springer |
---|---|
Series | Lecture Notes in Computer Science |
Volume | 7362 |
Publisher | Springer |
Series | Lecture Notes in Computer Science |
Volume | 7362 |