DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Ordered Semantic Hyper Tableaux
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 29 (2002) 1, 17-58
OLC Linguistik
Show details
2
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 28 (2002) 1, 1-34
OLC Linguistik
Show details
3
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 25 (2000) 1, 35
OLC Linguistik
Show details
4
Ordered Model Trees: A Normal Form for Disjunctive Deductive Databases
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 13 (1994) 1, 117-144
OLC Linguistik
Show details

Catalogues
0
0
4
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
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern