Proof General/Eclipse: A Generic Interface for Interactive Proof

David Aspinall, Christoph Lüth, Daniel Winterstein

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 19th International Joint Conference on Artificial Intelligence
Place of Publication	San Francisco, CA, USA
Publisher	Morgan Kaufmann Publishers Inc.
Pages	1587-1588
Number of pages	2
Publication status	Published - 2005

Name	IJCAI'05
Publisher	Morgan Kaufmann Publishers Inc.

Access to Document

@inproceedings{2c98d20781aa4f6295b3bdd6dde10cc8,

title = "Proof General/Eclipse: A Generic Interface for Interactive Proof",

author = "David Aspinall and Christoph L{\"u}th and Daniel Winterstein",

year = "2005",

language = "English",

series = "IJCAI'05",

publisher = "Morgan Kaufmann Publishers Inc.",

pages = "1587--1588",

booktitle = "Proceedings of the 19th International Joint Conference on Artificial Intelligence",

}

Proof General/Eclipse: A Generic Interface for Interactive Proof. / Aspinall, David; Lüth, Christoph; Winterstein, Daniel.
Proceedings of the 19th International Joint Conference on Artificial Intelligence. San Francisco, CA, USA: Morgan Kaufmann Publishers Inc., 2005. p. 1587-1588 (IJCAI'05).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Proof General/Eclipse: A Generic Interface for Interactive Proof

AU - Aspinall, David

AU - Lüth, Christoph

AU - Winterstein, Daniel

PY - 2005

Y1 - 2005

M3 - Conference contribution

T3 - IJCAI'05

SP - 1587

EP - 1588

BT - Proceedings of the 19th International Joint Conference on Artificial Intelligence

PB - Morgan Kaufmann Publishers Inc.

CY - San Francisco, CA, USA

ER -