Skip to contents Cauman, Leigh S. [Author] First-order logic : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; New York: Walter de Gruyter, 1998 Hughes, R. I. G. [Editor] A philosophical companion to first-order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Indianapolis, Ind. [u.a.]: Hackett, c1993 Barwise, Jon [Author]; Etchemendy, John [Author] The language of first-order logic : including the Macintosh version of Tarski's world 4.0 - [3. ed., rev. and exp.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Menlo Park [u.a.]: CSLI, 1993 Published in: Stanford University: CSLI lecture notes ; 23,3 Makkai, Michael [Author] Duality and definability in first order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, RI: American Mathematical Society, 1993 Published in: American Mathematical Society: Memoirs of the American Mathematical Society ; 503 Manzano, María [Author] Extensions of first order logic - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge tracts in theoretical computer science ; 19 Eder, Elmar [Author] Relative complexities of first order calculi Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1992 Published in: Artificial intelligence Hendricks, Vincent F. [Other]; Hendricks, Vincent F. [Editor] First-order logic revisited : [proceedings from the conference FOL75 - 75 years of first-order logic held at Humboldt University, Berlin, Germany, September 18 - 21, 2003] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 2004 Published in: Logische Philosophie ; 1200 Fitting, Melvin [Author]; Mendelsohn, Richard L. [Author] First-order modal logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Boston [u.a.]: Kluwer Academic, 1999 Published in: Synthese <Dordrecht> / Library ; 27700 Hofmann, Martin [Editor] ; FOSSACS 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Foundations of software science and computational structures : 14th international conference, FOSSACS 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 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 ; 6604 Hájek, Petr [Author]; Pudlák, Pavel [Author] Metamathematics of first-order arithmetic - [2nd printing 1998 of the 1st edition 1993] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Perspectives in mathematical logic Makkai, Michael [Author]; Reyes, Gonzalo E. [Author] First order categorical logic : model-theoretical methods in the theory of topoi and related categories Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1977 Published in: Lecture notes in mathematics ; 611 Fitting, Melvin [Author] First-order logic and automated theorem proving - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1996 Published in: Graduate texts in computer science Harel, David [Author] First-order dynamic logic Books 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 Heering, Jan [Editor] ; HOA 1 1993 Amsterdam Higher order algebra, logic, and term rewriting : first international workshop; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 816 Smullyan, Raymond M. [Author] First-order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer, 1968 Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43 Barwise, Jon [Author]; Etchemendy, John [Author] The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 - [3. ed., rev. and exp., Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Menlo Park [u.a.]: CSLI, 1997 Published in: Stanford University: CSLI lecture notes ; 34,1997 Martel, Mauricio [Author] ; Lutz, Carsten [Degree supervisor]; Lutz, Carsten [Other]; Sattler, Ulrike [Other] Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power Books View online Schließen > Access https://d-nb.info/1166849686/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Staats- und Universitätsbibliothek Bremen, 2018 Pratt-Hartmann, Ian [Author] Fragments of first-order logic Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2023 Published in: Oxford logic guides ; 56- Oxford scholarship online Grange, Julien [Author]; Segoufin, Luc [Author] ; Julien Grange and Luc Segoufin [Contributor] Order-Invariant First-Order Logic over Hollow Trees Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020 Wischnewski, Patrick [Author] ; Weidenbach, Christoph [Degree supervisor] Efficient reasoning procedures for complex first-order theories Books View online Schließen > Access https://d-nb.info/105255041X/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012
Cauman, Leigh S. [Author] First-order logic : an introduction Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; New York: Walter de Gruyter, 1998
Hughes, R. I. G. [Editor] A philosophical companion to first-order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Indianapolis, Ind. [u.a.]: Hackett, c1993
Barwise, Jon [Author]; Etchemendy, John [Author] The language of first-order logic : including the Macintosh version of Tarski's world 4.0 - [3. ed., rev. and exp.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Menlo Park [u.a.]: CSLI, 1993 Published in: Stanford University: CSLI lecture notes ; 23,3
Makkai, Michael [Author] Duality and definability in first order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Providence, RI: American Mathematical Society, 1993 Published in: American Mathematical Society: Memoirs of the American Mathematical Society ; 503
Manzano, María [Author] Extensions of first order logic - [1. publ.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge [u.a.]: Cambridge Univ. Press, 1996 Published in: Cambridge tracts in theoretical computer science ; 19
Eder, Elmar [Author] Relative complexities of first order calculi Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Braunschweig; Wiesbaden: Vieweg, 1992 Published in: Artificial intelligence
Hendricks, Vincent F. [Other]; Hendricks, Vincent F. [Editor] First-order logic revisited : [proceedings from the conference FOL75 - 75 years of first-order logic held at Humboldt University, Berlin, Germany, September 18 - 21, 2003] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 2004 Published in: Logische Philosophie ; 1200
Fitting, Melvin [Author]; Mendelsohn, Richard L. [Author] First-order modal logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht; Boston [u.a.]: Kluwer Academic, 1999 Published in: Synthese <Dordrecht> / Library ; 27700
Hofmann, Martin [Editor] ; FOSSACS 14 2011 Saarbrücken, ETAPS 14 2011 Saarbrücken Foundations of software science and computational structures : 14th international conference, FOSSACS 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 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 ; 6604
Hájek, Petr [Author]; Pudlák, Pavel [Author] Metamathematics of first-order arithmetic - [2nd printing 1998 of the 1st edition 1993] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Perspectives in mathematical logic
Makkai, Michael [Author]; Reyes, Gonzalo E. [Author] First order categorical logic : model-theoretical methods in the theory of topoi and related categories Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1977 Published in: Lecture notes in mathematics ; 611
Fitting, Melvin [Author] First-order logic and automated theorem proving - [2. ed.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. New York; Heidelberg [u.a.]: Springer, 1996 Published in: Graduate texts in computer science
Harel, David [Author] First-order dynamic logic Books 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
Heering, Jan [Editor] ; HOA 1 1993 Amsterdam Higher order algebra, logic, and term rewriting : first international workshop; selected papers Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 816
Smullyan, Raymond M. [Author] First-order logic Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg; New York: Springer, 1968 Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43
Barwise, Jon [Author]; Etchemendy, John [Author] The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 - [3. ed., rev. and exp., Nachdr.] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Menlo Park [u.a.]: CSLI, 1997 Published in: Stanford University: CSLI lecture notes ; 34,1997
Martel, Mauricio [Author] ; Lutz, Carsten [Degree supervisor]; Lutz, Carsten [Other]; Sattler, Ulrike [Other] Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power Books View online Schließen > Access https://d-nb.info/1166849686/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Bremen: Staats- und Universitätsbibliothek Bremen, 2018
Pratt-Hartmann, Ian [Author] Fragments of first-order logic Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Oxford: Oxford University Press, 2023 Published in: Oxford logic guides ; 56- Oxford scholarship online
Grange, Julien [Author]; Segoufin, Luc [Author] ; Julien Grange and Luc Segoufin [Contributor] Order-Invariant First-Order Logic over Hollow Trees Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Wischnewski, Patrick [Author] ; Weidenbach, Christoph [Degree supervisor] Efficient reasoning procedures for complex first-order theories Books View online Schließen > Access https://d-nb.info/105255041X/34 kostenfrei Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2012
> Media type Skip to next facet Articles (1.363) Wert ausschließen Books (67) Wert ausschließen Thesis (38) Wert ausschließen Conference Proceedings (3) Wert ausschließen Videos (2) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (11) Wert ausschließen Stack Collection (8) Wert ausschließen Ask for availability (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (13) Wert ausschließen Departmental Library DrePunct (5) Wert ausschließen TU Dresden holdings (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (12) Wert ausschließen In Copyright (5) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (3) Wert ausschließen In Copyright - Non-commercial Use Permitted (2) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Attribution - No Derivs (CC BY-ND) (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (505) Wert ausschließen Restricted Access (2) Wert ausschließen Without Specification (950) Wert ausschließen Show more show less
> Language Skip to next facet English (1.002) Wert ausschließen Not determined (455) Wert ausschließen French (10) Wert ausschließen Russian (3) Wert ausschließen German (2) Wert ausschließen Danish (1) Wert ausschließen Portuguese (1) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (609) Wert ausschließen Computer science (421) Wert ausschließen Philosophy (283) Wert ausschließen Technology (82) Wert ausschließen History (46) Wert ausschließen Art and art history (38) Wert ausschließen Physics (30) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (19) Wert ausschließen Economics (7) Wert ausschließen Medicine (6) Wert ausschließen General (4) Wert ausschließen Biology (4) Wert ausschließen Psychology (4) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen Sociology (3) Wert ausschließen General sciences (2) Wert ausschließen Geography (1) Wert ausschließen Geology and paleontology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Theology and religious studies (1) Wert ausschließen Show more show less
> Creator Skip to next facet Schweikardt, Nicole (18) Wert ausschließen Weidenbach, Christoph (16) Wert ausschließen Kuske, Dietrich (13) Wert ausschließen Kirst, Dominik (11) Wert ausschließen Reichbach, Juliusz (10) Wert ausschließen Kufleitner, Manfred (9) Wert ausschließen Grädel, Erich (8) Wert ausschließen Kerber, Manfred (8) Wert ausschließen Montagna, Franco (8) Wert ausschließen Basin, David (7) Wert ausschließen Grohe, Martin (7) Wert ausschließen Kreutzer, Stephan (7) Wert ausschließen Schmitt, Peter H. (7) Wert ausschließen Segoufin, Luc (7) Wert ausschließen Tendera, Lidia (7) Wert ausschließen Xu, Yang (7) Wert ausschließen Brunel, Julien (6) Wert ausschließen Fitting, Melvin (6) Wert ausschließen Kern-Isberner, Gabriele (6) Wert ausschließen Otto, Martin (6) Wert ausschließen Schwarz, Christian (6) Wert ausschließen Biskup, Joachim (5) Wert ausschließen Dowek, Gilles (5) Wert ausschließen From, Asta Halkjær (5) Wert ausschließen Grange, Julien (5) Wert ausschließen Herzberg, Frederik (5) Wert ausschließen Krstić, Srđan (5) Wert ausschließen Makkai, Michael (5) Wert ausschließen Pitts, Andrew M. (5) Wert ausschließen Pratt-Hartmann, Ian (5) Wert ausschließen Rapaport, William J. (5) Wert ausschließen Shelah, Saharon (5) Wert ausschließen Siebertz, Sebastian (5) Wert ausschließen Abu Zaid, Faried (4) Wert ausschließen Baaz, Matthias (4) Wert ausschließen Barwise, Jon (4) Wert ausschließen Beauquier, Danièle (4) Wert ausschließen Chemouil, David (4) Wert ausschließen Claessen, Koen (4) Wert ausschließen Craig, William (4) Wert ausschließen Durand, Arnaud (4) Wert ausschließen Fomin, Fedor V. (4) Wert ausschließen Fuhrken, G. (4) Wert ausschließen Gabbay, Murdoch J. (4) Wert ausschließen Girle, Roderic A. (4) Wert ausschließen Golovach, Petr A. (4) Wert ausschließen Grilletti, Gianluca (4) Wert ausschließen Hamaguchi, Kiyoharu (4) Wert ausschließen Harwath, Frederik (4) Wert ausschließen Kamide, Norihiro (4) Wert ausschließen Kashiwabara, Toshinobu (4) Wert ausschließen Krom, M. R. (4) Wert ausschließen Kuusisto, Antti (4) Wert ausschließen Lehmann, Scott K. (4) Wert ausschließen Liu, Jun (4) Wert ausschließen Lutz, Carsten (4) Wert ausschließen Martel, Mauricio (4) Wert ausschließen Martin, Barnaby (4) Wert ausschließen Place, Thomas (4) Wert ausschließen Pliuškevičius, Regimantas (4) Wert ausschließen Rybakov, Mikhail (4) Wert ausschließen Sano, Katsuhiko (4) Wert ausschließen Schlichtkrull, Anders (4) Wert ausschließen Schubert, Aleksy (4) Wert ausschließen Shkatov, Dmitry (4) Wert ausschließen Smolka, Gert (4) Wert ausschließen Sui, Yuefei (4) Wert ausschließen Szalas, Andrzej (4) Wert ausschließen Thilikos, Dimitrios M. (4) Wert ausschließen Tourlakis, George (4) Wert ausschließen Van den Bussche, Jan (4) Wert ausschließen Wehr, Dominik (4) Wert ausschließen Zakharyaschev, Michael (4) Wert ausschließen Zeitoun, Marc (4) Wert ausschließen Zhang, Yan (4) Wert ausschließen Zhou, Yi (4) Wert ausschließen Adler, Jonathan E. (3) Wert ausschließen Ahmed, Tarek Sayed (3) Wert ausschließen Asuncion, Vernon (3) Wert ausschließen Avigad, Jeremy (3) Wert ausschließen Bacon, John (3) Wert ausschließen Barendregt, Henk (3) Wert ausschließen Beckert, Bernhard (3) Wert ausschließen Belluce, L. P. (3) Wert ausschließen Belnap, Nuel D. (3) Wert ausschließen Bianchi, Matteo (3) Wert ausschließen Bollig, Benedikt (3) Wert ausschließen Bruynooghe, Maurice (3) Wert ausschließen Bunder, Martin (3) Wert ausschließen Chang, C. C. (3) Wert ausschließen Cittadini, Saverio (3) Wert ausschließen Cowles, John (3) Wert ausschließen De Raedt, Luc (3) Wert ausschließen Dekkers, Wil (3) Wert ausschließen Demri, Stéphane (3) Wert ausschließen Denecker, Marc (3) Wert ausschließen Diekert, Volker (3) Wert ausschließen Dreben, Burton Spencer (3) Wert ausschließen Etchemendy, John (3) Wert ausschließen Filiot, Emmanuel (3) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (242) Wert ausschließen BASE - Bielefeld Academic Search Engine (189) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (163) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (139) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (123) Wert ausschließen Elsevier BV (CrossRef) (100) Wert ausschließen Oxford University Press (OUP) (CrossRef) (84) Wert ausschließen JSTOR Mathematics & Statistics (81) Wert ausschließen Springer International Publishing (CrossRef) (73) Wert ausschließen Wiley (CrossRef) (58) Wert ausschließen Verbunddaten SWB (50) Wert ausschließen JSTOR Arts & Sciences I Archive (47) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (44) Wert ausschließen Duke University Press (CrossRef) (37) Wert ausschließen JSTOR Arts & Sciences VII Archive (30) Wert ausschließen Lizenzfreie Online-Ressourcen (23) Wert ausschließen theses.fr (22) Wert ausschließen Elsevier (CrossRef) (19) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (18) Wert ausschließen Diss online (17) Wert ausschließen MDPI AG (CrossRef) (16) Wert ausschließen Informa UK Limited (CrossRef) (12) Wert ausschließen IOS Press (CrossRef) (10) Wert ausschließen Scientific publications of the Saarland University (UdS) (10) Wert ausschließen Springer Nature Switzerland (CrossRef) (10) Wert ausschließen DOAJ Directory of Open Access Journals (7) Wert ausschließen Open Publishing Association (CrossRef) (7) Wert ausschließen Digital Library Thüringen (6) Wert ausschließen Hindawi Limited (CrossRef) (6) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (6) Wert ausschließen Uniwersytet Lodzki (University of Lodz) (CrossRef) (6) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (6) Wert ausschließen Institute of Philosophy, Russian Academy of Sciences (CrossRef) (5) Wert ausschließen JSTOR Arts & Sciences XV Archive (5) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (4) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (4) Wert ausschließen AI Access Foundation (CrossRef) (3) Wert ausschließen ETH Zürich Research Collection (3) Wert ausschließen EconStor (German National Library of Economics, ZBW) (3) Wert ausschließen Eldorado - Repositorium der TU Dortmund (3) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (3) Wert ausschließen JSTOR Arts & Sciences II Archive (3) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (3) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (3) Wert ausschließen Vilnius University Press (CrossRef) (3) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (3) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (2) Wert ausschließen EDP Sciences (CrossRef) (2) Wert ausschließen Information Processing Society of Japan (CrossRef) (2) Wert ausschließen Institute of Electronics, Information and Communications Engineers (IEICE) (CrossRef) (2) Wert ausschließen Instituto Politecnico Nacional/Centro de Investigacion en Computacion (CrossRef) (2) Wert ausschließen JSTOR (CrossRef) (2) Wert ausschließen National Library of Serbia (CrossRef) (2) Wert ausschließen Philosophy Documentation Center (CrossRef) (2) Wert ausschließen Sobolev Institute of Mathematics (CrossRef) (2) Wert ausschließen Uniwersytet Jagiellonski - Wydawnictwo Uniwersytetu Jagiellonskiego (CrossRef) (2) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (2) Wert ausschließen ARC Publications Pvt Ltd. (CrossRef) (1) Wert ausschließen Academic Publications (CrossRef) (1) Wert ausschließen Allerton Press (CrossRef) (1) Wert ausschließen Association for Natural Language Processing (CrossRef) (1) Wert ausschließen Association for the Advancement of Artificial Intelligence (AAAI) (CrossRef) (1) Wert ausschließen Author(s) (CrossRef) (1) Wert ausschließen Coastal Education and Research Foundation (CrossRef) (1) Wert ausschließen Det Kgl. Bibliotek/Royal Danish Library (CrossRef) (1) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (1) Wert ausschließen Foundation of Computer Science (CrossRef) (1) Wert ausschließen IOP Publishing (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 Institute of Mathematics, Polish Academy of Sciences (CrossRef) (1) Wert ausschließen International Academy Publishing (IAP) (CrossRef) (1) Wert ausschließen International Journal for Research in Applied Science and Engineering Technology (IJRASET) (CrossRef) (1) Wert ausschließen JSTOR Life Sciences Archive (1) Wert ausschließen Journal of Graph Algorithms and Applications (CrossRef) (1) Wert ausschließen Journal of Logic and Analysis (CrossRef) (1) Wert ausschließen KOPS - The Institutional Repository of the University of Konstanz (1) Wert ausschließen Munich University of Technology (TUM): mediaTUM (1) Wert ausschließen OpenEdition (CrossRef) (1) Wert ausschließen PUB - Publications at Bielefeld University (1) Wert ausschließen Pensoft Publishers (CrossRef) (1) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (1) Wert ausschließen Publication Server of Goethe University Frankfurt am Main (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Sciedu Press (CrossRef) (1) Wert ausschließen Science China Press., Co. Ltd. (CrossRef) (1) Wert ausschließen Science Publishing Group (CrossRef) (1) Wert ausschließen United Institute of Informatics Problems of the National Academy of Sciences of Belarus (CrossRef) (1) Wert ausschließen Universidad de La Frontera (CrossRef) (1) Wert ausschließen University of Florida George A Smathers Libraries (CrossRef) (1) Wert ausschließen Victoria University of Wellington Library (CrossRef) (1) Wert ausschließen noah.nrw (1) Wert ausschließen Show more show less