DE eng

Search in the Catalogues and Directories

Hits 1 – 4 of 4

1
Backchain Iteration: Towards a Practical Inference Method That Is Simple Enough to Be Proved Terminating, Sound, and Complete
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 11 (1993) 1, 1-22
OLC Linguistik
Show details
2
Knowledge systems and prolog : developing expert, database, and natural language systems
McCord, Michael; Sowa, John F.; Walker, Adrian. - Reading, Mass. : Addison-Wesley, 1990
BLLDB
UB Frankfurt Linguistik
Show details
3
On the inference of stochastic regular grammars
In: Information and control. - New York, NY [u.a.] : Academ. Pr. 38 (1978) 3, 310-329
BLLDB
Show details
4
Stable string languages of Lindenmayer systems
In: Information and control. - New York, NY [u.a.] : Academ. Pr. 37 (1978) 2, 134-149
BLLDB
Show details

Catalogues
1
0
1
0
0
0
0
Bibliographies
3
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