Mercurial > 13ws.ds
view ds13-14.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 | a9b64faf4b8f |
children |
author | Markus Kaiser <markus.kaiser@in.tum.de> |
---|---|
date | Thu, 10 Apr 2014 00:10:18 +0200 |
parents | a9b64faf4b8f |
children |