Theo: An Interactive Proof Development System.

Joëlle Despeyroux

Published in: BIT (1992)

Keyphrases

software engineering
virtual reality
development process
information processing
rapid development
support systems
knowledge base
evolutionary algorithm
knowledge based systems
st century
interactive systems