DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

1
tptp-utils 1.1 ...
Steen, Alexander. - : Zenodo, 2022
BASE
Show details
2
tptp-utils 1.1 ...
Steen, Alexander. - : Zenodo, 2022
BASE
Show details
3
Leo-III – A Theorem Prover for Higher-Order Logic ...
BASE
Show details
4
Leo-III 1.6 ...
Steen, Alexander. - : Zenodo, 2021
BASE
Show details
5
Leo-III 1.6 ...
Steen, Alexander. - : Zenodo, 2021
BASE
Show details
6
Leo-III 1.5 – A Theorem Prover for Higher-Order Logic ...
BASE
Show details
7
The Higher-Order Prover Leo-III (Extended Version) ...
BASE
Show details
8
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners ...
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
8
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern