DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Constraints on predicate invention
Wirth, Ruediger; O'Rorke, Paul. - : eScholarship, University of California, 1991
BASE
Show details
2
Constraints for predicate invention
Wirth, Ruediger; O'Rorke, Paul. - : eScholarship, University of California, 1991
BASE
Show details
3
Learning by failure to prove
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details
4
Completing proofs by inverting resolution
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details

Catalogues
0
0
0
0
0
0
2
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