DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
A Canonical Locally Named Representation of Binding
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 49 (2012) 2, 185-207
OLC Linguistik
Show details
2
Advances in Computing Science — ASIAN 2000 : 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings
Jifeng, He; Sato, Masahiko. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2000
UB Frankfurt Linguistik
Show details
3
On the Model Theory of Knowledge
In: DTIC AND NTIS (1978)
BASE
Show details

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