A resolution calculus for dynamic reasoning

Authors
Publication date 1998
Book title Logics in artificial intelligence
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Note LNAI
Permalink to this page
Back