Author:
Bancerek Grzegorz,Urban Josef
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Bancerek, G.: Cardinal numbers. Formalized Mathematics 2(1), 377–382 (1990), http://mizar.uwb.edu.pl/JFM/Vol1/card_1.abs.html
2. Bancerek, G.: MML Query, description, http://megrez.mizar.org/mmlquery/description.html
3. Lecture Notes in Computer Science;G. Bancerek,2003
4. Borenstein, N.: The text/enriched MIME Content-type (09/23/1993), ftp://ftp.rfc-editor.org/in-notes/rfc1523.txt
5. Borenstein, N.: The text/enriched MIME Content-type (01/10/ 1994), ftp://ftp.rfc-editor.org/in-notes/rfc1563.txt
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献