view ds13-07.pdf @ 57:a78ea627829e

be more precise than "predicate logic"
author Markus Kaiser <markus.kaiser@in.tum.de>
date Thu, 10 Apr 2014 00:10:18 +0200
parents 010d8f7fa899
children
line wrap: on
line source

(binary:application/pdf)