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

complog.md

Blame
  • Forked from KWARC / kwarc.info / www
    968 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.