DE eng

Search in the Catalogues and Directories

Hits 1 – 8 of 8

1
Ena, logika, k'ompiut'erizacia IV : Language, Logic, Computation IV
Baaz, Mattheas; Bezhanishvili, Guram; Chanishvili, Nani. - Wien : CLLS, Tbilisi State University / Kurt Gödel Society, 2015
Institut für Empirische Sprachwissenschaft
UB Frankfurt Linguistik
Show details
2
Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Bezhanishvili, Guram; Löbner, Sebastian; Marra, Vincenzo. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
UB Frankfurt Linguistik
Show details
3
Logic, language, and computation : revised selected papers
Bezhanishvili, Guram (Hrsg.); Löbner, Sebastian (Hrsg.); Marra, Vincenzo (Hrsg.). - Heidelberg [u.a.] : Springer, 2013
UB Frankfurt Linguistik
Show details
4
Logic for physical space
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 186 (2012) 3, 619-632
OLC Linguistik
Show details
5
An algebraic approach to subframe logics: modal case
In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 52 (2011) 2, 187-202
BLLDB
OLC Linguistik
Show details
6
Multimodal logics of products of topologies
In: Studia logica. - Dordrecht : Springer Science + Business Media 84 (2006) 3, 369-392
BLLDB
Show details
7
Glivenko type theorems for intuitionistic modal logics
In: Studia logica. - Dordrecht : Springer Science + Business Media 67 (2001) 1, 89-109
BLLDB
Show details
8
The Tbilisi symposium on logic, language and computation : 19-22 October 1995, Gudauri, Georgia. Selected papers
Ginzburg, Jonathan (Hrsg.); Amsili, Pascal (Mitarb.); Le Draoulec, Anne (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1998
BLLDB
Show details

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