Information Retrieval in MML

other

Author(s): Grzegorz Bancerek , Piotr Rudnicki

Publication date (Online): January 30 2003

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

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
Information Retrieval and Rendering with MML Query
Authors: Grzegorz Bancerek
Cooperative Repositories for Formal Proofs
Authors: Pierre Corbineau, Cezary Kaliszyk

See all cited by