Volume 226,
January 2009
- Serge Autexier, Christoph Benzmüller:
Preface.
1-2
- David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner:
Towards Merging PlatOmega and PGIP.
3-21
- John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller:
Visualizing Proof Search for Theorem Prover Development.
23-38
- William M. Farmer, Orlin G. Grigorov:
Panoptes: An Exploration Tool for Formal Proofs.
39-48
- Holger Gast:
Managing Proof Documents for Asynchronous Processing.
49-66
- Claudio Sacerdoti Coen:
A User Interface for a Mathematical System that Allows Ambiguous Formulae.
67-87
- Andrea Asperti, Enrico Tassi:
An Interactive Driver for Goal-directed Proof Strategies.
89-105
Last update Sat May 26 06:15:25 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
