![](https://www.pdfsearch.io/img/9a05ab9049186a38052a25d6a37fe7bb.jpg) Date: 2015-01-25 16:18:54
| | TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, GermanyAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 175,15 KBShare Document on Facebook
|