Skip to contents Link, Godehard [Author] Algebraic semantics in language and philosophy Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 1998 Published in: Stanford University: CSLI lecture notes ; 74 Venturini Zilli, Marisa [Editor] ; Advanced School on Mathematical Models for the Semantics of Parallelism 1986 Rom Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1987 Published in: Lecture notes in computer science ; 280 Janzen, Jan [Author] ; Frege, Gottlob [Other]; Wittgenstein, Ludwig [Other] Kalkül und Sprache : Freges und Wittgensteins Überlegungen zur Bedeutung formaler Sprachen im Verhältnis zur modelltheoretischen Tradition Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Würzburg: Königshausen & Neumann, 2011 Published in: Epistemata / Reihe Philosophie ; 496 Leeuwen, Jan van [Editor] Handbook of theoretical computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 1990- Bezhanishvili, Nick [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 8 2009 Bakuriani Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6618 Aloni, Maria [Editor]; Bastiaanse, Harald [Other]; de Jager, Tikitu [Other]; Schulz, Katrin [Other] ; Amsterdam Colloquium 17 2009 Amsterdam Logic, language and meaning : 17th Amsterdam colloquium, Amsterdam, The Netherlands, December 16-18, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6042 Sicilia, Miguel-Angel [Editor]; Lytras, Miltiadēs [Other] ; International Conference on Metadata and Semantics Research 2 2007 Kerkira Metadata and Semantics - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2009 Morrill, Glyn [Author] Type logical grammar : categorial logic of signs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, 1994 Gottlieb, Dale [Author] Ontological economy : substitutional quantification and mathematics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford Univ. Pr., 1980 Published in: Clarendon library of logic and philosophy Bach, Emmon [Author] Informal lectures on formal semantics - [1. print.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Albany, NY: State Univ. of New York Pr., 1989 Published in: SUNY series in linguistics Amadio, Roberto M. [Author]; Curien, Pierre-Louis [Author] Domains and lambda-calculi Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 1998 Published in: Cambridge tracts in theoretical computer science ; 46 Woleński, Jan [Other] Philosophical logic in Poland Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Acad. Publ., c1994 Published in: Synthese <Dordrecht> / Library ; 22800 Harel, David [Author] First-order dynamic logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1979 Published in: Lecture notes in computer science ; 68 Przełęcki, Marian [Editor]; Wójcicki, Ryszard [Other] Twenty-five years of logical methodology in Poland Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel [u.a.], 1977 Published in: Synthese <Dordrecht> / Library ; 8700 Buth, Karl-Heinz [Author] Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1994 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414 Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge Higher order operational techniques in semantics : HOOTS - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Pr., 1998 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12 Alves-Foss, Jim [Editor] Formal syntax and semantics of Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1523 Gethmann, Carl Friedrich [Editor] Logik und Pragmatik : zum Rechtfertigungsproblem logischer Sprachregeln - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Frankfurt am Main: Suhrkamp, 1982 Published in: Suhrkamp Taschenbuch Wissenschaft ; 399 Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6602 Rahman, Shahid [Editor] Unity, truth and the liar : the modern relevance of medieval solutions to the liar paradox - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Dordrecht]: Springer, 2008 Published in: Logic, epistemology, and the unity of science ; 8
Link, Godehard [Author] Algebraic semantics in language and philosophy Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Stanford, Calif.: Center for the Study of Language and Information, 1998 Published in: Stanford University: CSLI lecture notes ; 74
Venturini Zilli, Marisa [Editor] ; Advanced School on Mathematical Models for the Semantics of Parallelism 1986 Rom Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24 - October 1, 1986 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1987 Published in: Lecture notes in computer science ; 280
Janzen, Jan [Author] ; Frege, Gottlob [Other]; Wittgenstein, Ludwig [Other] Kalkül und Sprache : Freges und Wittgensteins Überlegungen zur Bedeutung formaler Sprachen im Verhältnis zur modelltheoretischen Tradition Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Würzburg: Königshausen & Neumann, 2011 Published in: Epistemata / Reihe Philosophie ; 496
Leeuwen, Jan van [Editor] Handbook of theoretical computer science Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Amsterdam [u.a.]: Elsevier, 1990-
Bezhanishvili, Nick [Editor] ; International Tbilisi Symposium on Logic, Language, and Computation 8 2009 Bakuriani Logic, language, and computation : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6618
Aloni, Maria [Editor]; Bastiaanse, Harald [Other]; de Jager, Tikitu [Other]; Schulz, Katrin [Other] ; Amsterdam Colloquium 17 2009 Amsterdam Logic, language and meaning : 17th Amsterdam colloquium, Amsterdam, The Netherlands, December 16-18, 2009 ; revised selected papers Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6042
Sicilia, Miguel-Angel [Editor]; Lytras, Miltiadēs [Other] ; International Conference on Metadata and Semantics Research 2 2007 Kerkira Metadata and Semantics - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York, NY: Springer, 2009
Morrill, Glyn [Author] Type logical grammar : categorial logic of signs Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer, 1994
Gottlieb, Dale [Author] Ontological economy : substitutional quantification and mathematics Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford Univ. Pr., 1980 Published in: Clarendon library of logic and philosophy
Bach, Emmon [Author] Informal lectures on formal semantics - [1. print.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Albany, NY: State Univ. of New York Pr., 1989 Published in: SUNY series in linguistics
Amadio, Roberto M. [Author]; Curien, Pierre-Louis [Author] Domains and lambda-calculi Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge University Press, 1998 Published in: Cambridge tracts in theoretical computer science ; 46
Woleński, Jan [Other] Philosophical logic in Poland Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Kluwer Acad. Publ., c1994 Published in: Synthese <Dordrecht> / Library ; 22800
Harel, David [Author] First-order dynamic logic Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1979 Published in: Lecture notes in computer science ; 68
Przełęcki, Marian [Editor]; Wójcicki, Ryszard [Other] Twenty-five years of logical methodology in Poland Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.]: Reidel [u.a.], 1977 Published in: Synthese <Dordrecht> / Library ; 8700
Buth, Karl-Heinz [Author] Techniques for modelling structured operational and denotational semantics definitions with term rewriting systems Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Kiel: Inst. für Informatik und Praktische Mathematik, 1994 Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9414
Gordon, Andrew D. [Editor]; Pitts, Andrew M. [Other] ; Workshop on Higher Order Operational Techniques in Semantics 1995 Cambridge Higher order operational techniques in semantics : HOOTS - [1. publ.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Pr., 1998 Published in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 12
Alves-Foss, Jim [Editor] Formal syntax and semantics of Java Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1999 Published in: Lecture notes in computer science ; 1523
Gethmann, Carl Friedrich [Editor] Logik und Pragmatik : zum Rechtfertigungsproblem logischer Sprachregeln - [1. Aufl.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Frankfurt am Main: Suhrkamp, 1982 Published in: Suhrkamp Taschenbuch Wissenschaft ; 399
Barthe, Gilles [Editor] ; ESOP 20 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Programming languages and systems : 20th European Symposium on Programming, ESOP 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6602
Rahman, Shahid [Editor] Unity, truth and the liar : the modern relevance of medieval solutions to the liar paradox - [1. ed.] Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. [Dordrecht]: Springer, 2008 Published in: Logic, epistemology, and the unity of science ; 8
> Media type Skip to next facet Articles (649) Wert ausschließen Books (306) Wert ausschließen Thesis (38) Wert ausschließen Standards (6) Wert ausschließen Electronic Resources (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (42) Wert ausschließen Stack Collection (99) Wert ausschließen Ask for availability (3) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (89) Wert ausschließen Departmental Library DrePunct (58) Wert ausschließen TU Dresden holdings (3) Wert ausschließen Branch Library of Educationen (2) Wert ausschließen Branch Library of Medicine (1) Wert ausschließen Show more show less
> Rights information Skip to next facet In Copyright (12) Wert ausschließen Attribution (CC BY) (8) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (8) Wert ausschließen In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Attribution - Share Alike (CC BY-SA) (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (295) Wert ausschließen Restricted Access (18) Wert ausschließen Without Specification (549) Wert ausschließen Show more show less
> Language Skip to next facet English (613) Wert ausschließen Not determined (338) Wert ausschließen German (33) Wert ausschließen French (18) Wert ausschließen Spanish (5) Wert ausschließen Latin (3) Wert ausschließen Ndonga (2) Wert ausschließen Polish (2) Wert ausschließen Czech (1) Wert ausschließen Italian (1) Wert ausschließen Russian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (328) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (133) Wert ausschließen Philosophy (114) Wert ausschließen Mathmatics (107) Wert ausschließen Technology (36) Wert ausschließen Psychology (15) Wert ausschließen Theology and religious studies (11) Wert ausschließen General (9) Wert ausschließen American studies (9) Wert ausschließen Economics (9) Wert ausschließen History (8) Wert ausschließen General sciences (7) Wert ausschließen Biology (6) Wert ausschließen Art and art history (6) Wert ausschließen Germanic and Scandinavian studies (5) Wert ausschließen Sociology (5) Wert ausschließen Geography (4) Wert ausschließen Medicine (4) Wert ausschließen Physics (4) Wert ausschließen Slavic studies (4) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen Pedagogy (2) Wert ausschließen Geology and paleontology (1) Wert ausschließen Classical philology (1) Wert ausschließen Musicology (1) Wert ausschließen Neo-Latin philology (1) Wert ausschließen Show more show less
> Creator Skip to next facet ACM Special Interest Group on Programming Languages (15) Wert ausschließen Association for Computing Machinery (15) Wert ausschließen Schroeder-Heister, Peter (9) Wert ausschließen Knapp, Alexander (8) Wert ausschließen Association for Computing Machinery-Digital Library (7) Wert ausschließen ACM Special Interest Group on Software Engineering (6) Wert ausschließen ISO International Organization for Standardization (6) Wert ausschließen ISO Internationale Organisation für Normung (6) Wert ausschließen ISO Organisation Internationale de Normalisation (6) Wert ausschließen Barthe, Gilles (5) Wert ausschließen CEI Commission Electrotechnique Internationale (5) Wert ausschließen Cengarle, María Victoria (5) Wert ausschließen IEC International Electrotechnical Commission (5) Wert ausschließen IEC Internationale Elektrotechnische Kommission (5) Wert ausschließen Meseguer, José (5) Wert ausschließen Petersen, Wiebke (5) Wert ausschließen Piecha, Thomas (5) Wert ausschließen Qin, Shengchao (5) Wert ausschließen Schewe, Klaus-Dieter (5) Wert ausschließen Snelting, G. (5) Wert ausschließen Thalheim, Bernhard (5) Wert ausschließen Woodcock, Jim (5) Wert ausschließen ACM Special Interest Group on Algorithms and Computation Theory (4) Wert ausschließen Alves-Foss, Jim (4) Wert ausschließen Bruns, Daniel (4) Wert ausschließen Cresswell, M. J. (4) Wert ausschließen Dong, Jin Song (4) Wert ausschließen Gotzhein, Reinhard (4) Wert ausschließen Kamp, Hans (4) Wert ausschließen Leeuwen, Jan van (4) Wert ausschließen Luo, Zhaohui (4) Wert ausschließen Palsberg, Jens (4) Wert ausschließen Petersohn, Carsta (4) Wert ausschließen Reichert, Manfred (4) Wert ausschließen Stokhof, Martin (4) Wert ausschließen Sun, Jun (4) Wert ausschließen Vogler, Heiko (4) Wert ausschließen Wasserrab, Daniel (4) Wert ausschließen Weber, Barbara (4) Wert ausschließen Woleński, Jan (4) Wert ausschließen Zhu, Huibiao (4) Wert ausschließen Zimmermann, Malte (4) Wert ausschließen Asăvoae, Irina Măriuca (3) Wert ausschließen Asăvoae, Mihail (3) Wert ausschließen Avron, Arnon (3) Wert ausschließen Aït-Ameur, Yamine (3) Wert ausschließen Balogh, Kata (3) Wert ausschließen Beckert, Bernhard (3) Wert ausschließen Bjoerner, Dines (3) Wert ausschließen Bjørner, Dines (3) Wert ausschließen Bordini, Rafael H. (3) Wert ausschließen Bosch, Peter (3) Wert ausschließen Brucker, Achim D. (3) Wert ausschließen Börger, Egon (3) Wert ausschließen Cavalcanti, Ana (3) Wert ausschließen Corradini, Andrea (3) Wert ausschließen Das, Ariyam (3) Wert ausschließen Delgado Kloos, Carlos (3) Wert ausschließen Desainte-Catherine, Myriam (3) Wert ausschließen Diehl, Stephan (3) Wert ausschließen Diskin, Zinovy (3) Wert ausschließen Drossopoulou, Sophia (3) Wert ausschließen Fecher, Harald (3) Wert ausschließen Fensel, Dieter (3) Wert ausschließen Guessarian, Irène (3) Wert ausschließen Henrio, Ludovic (3) Wert ausschließen Hidders, Jan (3) Wert ausschließen Keenan, Edward L. (3) Wert ausschließen Kontinen, Juha (3) Wert ausschließen Krishnamurthi, Shriram (3) Wert ausschließen Kühnemann, Armin (3) Wert ausschließen Landman, Fred (3) Wert ausschließen Liu, Yang (3) Wert ausschließen Lochbihler, Andreas (3) Wert ausschließen Majster-Cederbaum, Mila (3) Wert ausschließen Mitchell, John C. (3) Wert ausschließen Mosses, Peter D. (3) Wert ausschließen Prinz, Andreas (3) Wert ausschließen Pross, Tillmann (3) Wert ausschließen Retoré, Christian (3) Wert ausschließen Riesco, Adrián (3) Wert ausschließen Roşu, Grigore (3) Wert ausschließen Rueda, Camilo (3) Wert ausschließen Rust, Heinrich (3) Wert ausschließen Schönborn, Jens (3) Wert ausschließen Szabolcsi, Anna (3) Wert ausschließen Toulouse, INPT (3) Wert ausschließen Treur, Jan (3) Wert ausschließen Wang, Shuling (3) Wert ausschließen Zaniolo, Carlo (3) Wert ausschließen Ölveczky, Peter Csaba (3) Wert ausschließen Aichernig, Bernhard K. (2) Wert ausschließen Alexi Turcotte and Ellen Arteca and Gregor Richards (2) Wert ausschließen Angele, Juergen (2) Wert ausschließen Arteca, Ellen (2) Wert ausschließen Association for Computing Machinery Special Interest Group on Automata and Computability Theory (2) Wert ausschließen Association for Computing Machinery Special Interest Group on Programming Languages (2) Wert ausschließen Bailer, Werner (2) Wert ausschließen Baldwin, Thomas (2) Wert ausschließen Barba Escriba, Juan (2) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (259) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (202) Wert ausschließen BASE - Bielefeld Academic Search Engine (112) Wert ausschließen Springer International Publishing (CrossRef) (65) Wert ausschließen Elsevier BV (CrossRef) (52) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (50) Wert ausschließen Lizenzfreie Online-Ressourcen (41) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (38) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (31) Wert ausschließen theses.fr (27) Wert ausschließen Diss online (25) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (23) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (13) Wert ausschließen Oxford University Press (OUP) (CrossRef) (12) Wert ausschließen JSTOR Arts & Sciences III Archive (11) Wert ausschließen JSTOR Language & Literature Archive (10) Wert ausschließen Open Publishing Association (CrossRef) (10) Wert ausschließen Wiley (CrossRef) (10) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (9) Wert ausschließen JSTOR Arts & Sciences I Archive (9) Wert ausschließen Informa UK Limited (CrossRef) (8) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (8) Wert ausschließen JSTOR (CrossRef) (7) Wert ausschließen Augsburg University Publication Server (OPUS) (6) Wert ausschließen JSTOR Mathematics & Statistics (6) Wert ausschließen Nautos (ISO-Normen) (6) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (6) Wert ausschließen DOAJ Directory of Open Access Journals (5) Wert ausschließen Project MUSE (CrossRef) (5) Wert ausschließen Springer Nature Switzerland (CrossRef) (5) Wert ausschließen Hindawi Limited (CrossRef) (4) Wert ausschließen MIT Press - Journals (CrossRef) (4) Wert ausschließen Persée (4) Wert ausschließen Duke University Press (CrossRef) (3) Wert ausschließen ETH Zürich Research Collection (3) Wert ausschließen IOS Press (CrossRef) (3) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (3) Wert ausschließen Open Library of the Humanities (CrossRef) (3) Wert ausschließen SAGE Publications (CrossRef) (3) Wert ausschließen Scientific publications of the Saarland University (UdS) (3) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (2) Wert ausschließen Estonian Academy Publishers (CrossRef) (2) Wert ausschließen IGI Global (CrossRef) (2) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (2) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (2) Wert ausschließen MDPI AG (CrossRef) (2) Wert ausschließen New Prairie Press (CrossRef) (2) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (2) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (2) Wert ausschließen A.P. Ershov Institute of Informatics Systems SB RAS (CrossRef) (1) Wert ausschließen AI Access Foundation (CrossRef) (1) Wert ausschließen Academy and Industry Research Collaboration Center (AIRCC) (CrossRef) (1) Wert ausschließen Annual Reviews (CrossRef) (1) Wert ausschließen Association for Natural Language Processing (CrossRef) (1) Wert ausschließen Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP (CrossRef) (1) Wert ausschließen EDP Sciences (CrossRef) (1) Wert ausschließen EconStor (German National Library of Economics, ZBW) (1) Wert ausschließen Elsevier (CrossRef) (1) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (1) Wert ausschließen Frontiers Media SA (CrossRef) (1) Wert ausschließen Ghent University (CrossRef) (1) Wert ausschließen Humanist Publishing House (CrossRef) (1) Wert ausschließen Indian Society for Education and Environment (CrossRef) (1) Wert ausschließen Institute for Operations Research and the Management Sciences (INFORMS) (CrossRef) (1) Wert ausschließen Institute for System Programming of the Russian Academy of Sciences (CrossRef) (1) Wert ausschließen Institution of Engineering and Technology (IET) (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences VII Archive (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Linguistic Society of America (CrossRef) (1) Wert ausschließen MACAU: Open Access Repository of Kiel University (1) Wert ausschließen National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (Publications) (CrossRef) (1) Wert ausschließen National Library of Serbia (CrossRef) (1) Wert ausschließen Novosibirsk State University (NSU) (CrossRef) (1) Wert ausschließen OPUS FAU - Online publication system of Friedrich-Alexander-Universität Erlangen-Nürnberg (1) Wert ausschließen OpenEdition (CrossRef) (1) Wert ausschließen Philosophy Documentation Center (CrossRef) (1) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (1) Wert ausschließen Revista Linguistica (CrossRef) (1) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (1) Wert ausschließen Seventh Sense Research Group Journals (CrossRef) (1) Wert ausschließen Sociedade Brasileira de Computacao - SB (CrossRef) (1) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (1) Wert ausschließen Springer Nature Singapore (CrossRef) (1) Wert ausschließen TU Braunschweig: LeoPARD - Publications And Research Data (1) Wert ausschließen The Russian Academy of Sciences (CrossRef) (1) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (1) Wert ausschließen Universidad de Antioquia (CrossRef) (1) Wert ausschließen Universidad de Navarra (CrossRef) (1) Wert ausschließen Universidade Federal do Rio Grande do Sul (CrossRef) (1) Wert ausschließen University of Chicago Press (CrossRef) (1) Wert ausschließen University of Koblenz-Landau: Publication Server (1) Wert ausschließen University of Potsdam: publish.UP (1) Wert ausschließen University of Tartu (CrossRef) (1) Wert ausschließen Universität Osnabrück: osnaDocs (1) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (1) Wert ausschließen Verein philosophie.ch (CrossRef) (1) Wert ausschließen eSAT Publishing House (CrossRef) (1) Wert ausschließen Show more show less