Login / Signup

In Memoriam: Thomas Beth.

Markus GrasslAndreas KlappeneckerMartin Rötteler
Published in: Quantum Inf. Process. (2006)
Keyphrases
  • knowledge base
  • classical logic
  • belief revision