Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
New developments in parsing Mizar
2012
alama-parsing
-
In proceedings
Czeslaw Bylinski, Jesse Alama
Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel
Intelligent Computer Mathematics (CICM 2012)
Lecture Notes in Computer Science
Springer
-
7362
427-431
-
-
-
-
Export formats
Czeslaw Bylinski and Jesse Alama, New developments in parsing Mizar, in: Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel (eds), Intelligent Computer Mathematics (CICM 2012), Lecture Notes in Computer Science, Springer, Vol. 7362, Pag. 427-431, 2012.
Czeslaw Bylinski and <a href="/people/members/view.php?code=d18f2a73808637adda0742073904f056" class="author">Jesse Alama</a>, <b>New developments in parsing Mizar</b>, in: Johan Jeuring, John A Campbell, Jacques Carette, Gabriel Reis, Petr Sojka and Makarius Wenzel (eds), <u>Intelligent Computer Mathematics (CICM 2012)</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 7362, Pag. 427-431, 2012.
@inproceedings {alama-parsing, author = {Czeslaw Bylinski and Jesse Alama}, editor = {Johan Jeuring and John A Campbell and Jacques Carette and Gabriel Reis and Petr Sojka and Makarius Wenzel}, title = {New developments in parsing Mizar}, booktitle = {Intelligent Computer Mathematics (CICM 2012)}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {7362}, pages = {427-431}, year = {2012}, }
Publication's urls
/publications/view.php?code=aa5bba711a18ce3d675e755b9d300b1e
/publications/view.php?code=alama-parsing
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT