Skip to content
Snippets Groups Projects
Normal view Permalink
complog.md 349 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more courses
    Michael Kohlhase committed
    1 2 3 4 
    ---
layout: course

title: Computational Logic
    Tom Wiesing's avatar
    Cleanup courses  
    Tom Wiesing committed
    5 6 
    instructors:
    - mkohlhase
    Michael Kohlhase's avatar
    more courses
    Michael Kohlhase committed
    7 8 
        - frabe
    - dmueller
    Tom Wiesing's avatar
    Fix warnings  
    Tom Wiesing committed
    9
    Michael Kohlhase's avatar
    more courses
    Michael Kohlhase committed
    10 11 12 13 14 15 16 17 18 19 20 
    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.