<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-01-25 16:18:54Logic Linguistics Philosophical logic Symbol Mixing Interpretation |
|
| First Page | Document Content | |
|---|---|---|
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