Modal experiments

Authors
Publication date 2000
Book title Proceedings Automated Reasoning Workshop 2000
Publisher London: King's College London
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back