DE eng

Search in the Catalogues and Directories

Hits 1 – 2 of 2

1
The LogAnswer Project at ResPubliQA 2010
In: http://clef2010.org/resources/proceedings/clef2010labs_submission_30.pdf
BASE
Show details
2
Combining Theorem Proving with Natural Language Processing
In: http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-373/paper-06.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
2
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern