DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

1
Reactive intuitionistic tableaux
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 179 (2011) 2, 253-269
OLC Linguistik
Show details
2
Abductive reasoning in neural-symbolic learning systems
Garcez, A.; Gabbay, D. M.; Ray, O.. - : Springer, 2007
BASE
Show details
3
Many-dimensional modal logics: theory and applications
Gabbay, D M; Kurucz, A; Wolter, F. - : North-Holland, 2003
BASE
Show details
4
Crossover: a unified view
In: Journal of linguistics. - London [u.a.] : Cambridge Univ. Press 34 (1998) 1, 73-124
OLC Linguistik
Show details
5
The Imperative Future: Principles of Executable Temporal Logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 1, 105-106
OLC Linguistik
Show details
6
Logic Colloquium '92, Studies in Logic, Language, and Information
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 6 (1997) 4, 453-456
OLC Linguistik
Show details
7
Parsing natural language using LDS: a prototype
Finger, M; Kibble, R; Gabbay, D. - : Oxford University Press, 1997
BASE
Show details
8
Handbook of philosophical logic
Gabbay, D.; Günthner, F.. - Dordrecht, Boston, Lancaster : Reidel
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details

Catalogues
0
0
4
0
0
0
1
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern