Software & Downloads zu „Computational Semantics“

Die Beispielprogramme und Zusatztools zu „Computational Semantics“ von Patrick Blackburn &Johan Bos

• BB1

  Software zu Band 1

• BB2

  Band 2 als PS-Datei.

  Software zu Band 2:

  • V1
  • V2 (neue Version)
  • Tempus: Während der Ferienakademie 2006 um Tempus erweiterte Fassung
  • Deutsch: Während der Ferienakademie 2006 auf deutsch adaptierte Version

• bliksem

  Theorembeweiser, Programmquellen und Dokumentation

• vampire

  Theorembeweiser, Programm (Linux) und Dokumentation

• paradox

  Model Finder, Programmquellen und Dokumentation