C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Interactive Proof Systems: Provers, Rounds, and Error Bounds.
Ulrich Hertrampf
Klaus W. Wagner
Published in:
CSL (1990)
Keyphrases
</>
error bounds
interactive systems
theorem prover
management system
theoretical analysis
computer systems
theorem proving
distributed systems
intelligent systems
real time
user interaction
worst case
learning systems
complex systems
special case
knowledge base
search engine
neural network