DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
Mechanizing Metatheory Without Typing Contexts
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 52 (2014) 2, 215-239
OLC Linguistik
Show details
2
Group skyline computation
In: Information sciences. - New York, NY : Elsevier Science Inc. 188 (2012), 151-169
OLC Linguistik
Show details
3
A Programming Language for Probabilistic Computation
In: DTIC (2005)
BASE
Show details

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