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

Most cited references 8

Record: found
Abstract: not found
Article: not found

A framework for defining logics

Robert Harper, Furio Honsell, Gordon D. Plotkin (1993)

0 comments Cited 99 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Project Abstract: Logic Atlas and Integrator (LATIN)

Mihai Codescu, Fulya Horozal, Michael Kohlhase … (2011)

0 comments Cited 11 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Integrating Web Services into Active Mathematical Documents

Jana Giceva, Christoph Lange, Florian Rabe (2009)

0 comments Cited 9 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2013

Pages: 339-343

DOI: 10.1007/978-3-642-39320-4_25

SO-VID: bac03b80-2e77-4685-81b4-96cad463af12

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 6

Towards Knowledge Management for HOL Light
Authors: Cezary Kaliszyk, Florian Rabe
Matching Concepts across HOL Libraries
Authors: Thibault Gauthier, Cezary Kaliszyk
Sharing HOL4 and HOL Light Proof Knowledge
Authors: Thibault Gauthier, Cezary Kaliszyk

See all cited by

The MMT API: A Generic MKM System

Read this book at

Related collections

ScienceOpen Research

Most cited references 8

A framework for defining logics

Project Abstract: Logic Atlas and Integrator (LATIN)

Integrating Web Services into Active Mathematical Documents

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,007

Cited by 6