Detail

Publication date: 01/01/2012

New developments in parsing Mizar

Authors

Czeslaw Bylinski, Johan Jeuring, Jesse Alama, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel,

Publisher Springer
Series Lecture Notes in Computer Science
Volume 7362
Publisher Springer
Series Lecture Notes in Computer Science
Volume 7362