There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2003

Publication date (Online): January 30 2003

Pages: 119-132

DOI: 10.1007/3-540-36469-2_10

SO-VID: 17fea2f2-643b-4e63-82c5-6570cb34fd66

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 8

XML-izing Mizar: Making Semantic Processing and Presentation of MML Easy
Authors: Josef Urban
Cooperative Repositories for Formal Proofs
Authors: Pierre Corbineau, Cezary Kaliszyk
Information Retrieval and Rendering with MML Query
Authors: Grzegorz Bancerek

See all cited by

Information Retrieval in MML

Read this book at