![Logic / Linguistics / Philosophical logic / Symbol / Mixing / Interpretation Logic / Linguistics / Philosophical logic / Symbol / Mixing / Interpretation](https://www.pdfsearch.io/img/fb915d559c31dd4d42bf5024bf9e0f53.jpg) Date: 2015-01-25 16:18:54Logic Linguistics Philosophical logic Symbol Mixing Interpretation | | 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, Germany
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 175,15 KB
|