<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-02-04 05:50:55Murray Rothbard C1 Diagram C0 Controls and Basic Latin Libertarianism Political philosophy C0 |
| Solving Non-Linear Arithmetic Dejan Jovanovi´c1 and Leonardo de Moura2 1 2 New York UniversityDocID: 1xV3a - View Document |
| An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2DocID: 1xV1f - View Document |
| Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1DocID: 1xTQ7 - View Document |
| Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria”DocID: 1vrHP - View Document |
| BRAT : a Web-based Tool for NLP-Assisted Text Annotation Pontus Stenetorp1∗ Sampo Pyysalo2,3∗ Goran Topi´c1 Tomoko Ohta1,2,3 Sophia Ananiadou2,3 and Jun’ichi Tsujii4DocID: 1vr6z - View Document |