System Description: Akka, A workbench for Mathematical Logic

Authors
Publication date 1999
Host editors
  • M. de Rijke
Book title M4M. Methods for Modalities 1
Publisher Amsterdam: ILLC
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back