Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

complog.md

Blame
    • Forked from KWARC / kwarc.info / www
    963 commits behind the upstream repository.
    complog.md 349 B 
    layout: course

title: Computational Logic
instructors:
    - mkohlhase
    - frabe
    - dmueller
    
organization: Jacobs University
semesters:
    - Fall05
    - Fall07
    - Fall09
    - Fall11
    - Fall13
    - Fall15

    Theory and machine-oriented inference for propositional, first-order, higher-order, modal, and description logics.