Zum Inhalt springen Blackburn, Patrick [HerausgeberIn] ; TICTTL 3 2011 Salamanca Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6680 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, c 2007 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed., repr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2008 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [4. print] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2005 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [1. publ.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2003 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [Reprint. (twice)] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2004 Baader, Franz [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Lutz, Carsten [VerfasserIn]; Sattler, Ulrike [VerfasserIn] An introduction to description logic - [First published] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017 Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed., paperback ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2010 Küsters, Ralf [VerfasserIn] Non-standard inferences in description logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2100 Bezhanishvili, Nick [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6618 Corradini, Andrea [HerausgeberIn] ; CALCO 4 2011 Winchester Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6859 Katoen, Joost-Pieter [HerausgeberIn]; König, Barbara [Sonstige Person, Familie und Körperschaft] ; CONCUR 22 2011 Aachen CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6901 Balduccini, Marcello [HerausgeberIn]; Gelfond, Michael [GefeierteR]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft] Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6565 Meyden, Ron van der [HerausgeberIn]; Smaus, Jan-Georg [Sonstige Person, Familie und Körperschaft] ; MoChArt 6 2010 Atlanta, Ga Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6572 Onoda, Takashi [HerausgeberIn] ; LENLS 7 2010 Tokio, JSAI-isAI 2 2010 Tokio, JURISIN 4 2010 Tokio New frontiers in artificial intelligence : JSAI-isAI 2010 Workshops LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18 - 19, 2010 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6797 Polleres, Axel [HerausgeberIn] ; Summer School Reasoning Web 7 2011 Galway Reasoning web : semantic technologies for the web of data ; 7th international summer school 2011, Galway, Ireland, August 23 - 27, 2011 ; tutorial lectures Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6848 Kroening, Daniel [VerfasserIn]; Strichman, Ofer [VerfasserIn] Decision procedures : an algorithmic point of view Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2008 Erschienen in: Texts in theoretical computer science ; an EATCS series Hofmann, Martin [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6604 Gabbay, Dov M. [VerfasserIn] Fibring logics - [Repr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon, 2002 Erschienen in: Oxford logic guides ; 38,2002 Czelakowski, Janusz [VerfasserIn] Protoalgebraic logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht; Boston [u.a.]: Kluwer Academic Publ., 2001 Erschienen in: Trends in logic ; 10
Blackburn, Patrick [HerausgeberIn] ; TICTTL 3 2011 Salamanca Tools for teaching logic : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6680
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, c 2007
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed., repr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2008
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [4. print] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2005
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [1. publ.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2003
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [Reprint. (twice)] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2004
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [VerfasserIn]; Horrocks, Ian [VerfasserIn]; Lutz, Carsten [VerfasserIn]; Sattler, Ulrike [VerfasserIn] An introduction to description logic - [First published] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge; New York; Port Melbourne; Delhi; Singapore: Cambridge University Press, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baader, Franz [HerausgeberIn] The description logic handbook : theory, implementation, and applications - [2. ed., paperback ed.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge [u.a.]: Cambridge Univ. Press, 2010
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Küsters, Ralf [VerfasserIn] Non-standard inferences in description logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2001 Erschienen in: Lecture notes in computer science ; 2100
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bezhanishvili, Nick [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6618
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Corradini, Andrea [HerausgeberIn] ; CALCO 4 2011 Winchester Algebra and coalgebra in computer science : 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6859
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Katoen, Joost-Pieter [HerausgeberIn]; König, Barbara [Sonstige Person, Familie und Körperschaft] ; CONCUR 22 2011 Aachen CONCUR 2011 - concurrency theory : 22nd international conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011 ; proceedings Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6901
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Balduccini, Marcello [HerausgeberIn]; Gelfond, Michael [GefeierteR]; Son, Tran Cao [Sonstige Person, Familie und Körperschaft] Logic programming, knowledge representation, and nonmonotonic reasoning : essays dedicated to Michael Gelfond on the occasion of his 65th birthday Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6565
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Meyden, Ron van der [HerausgeberIn]; Smaus, Jan-Georg [Sonstige Person, Familie und Körperschaft] ; MoChArt 6 2010 Atlanta, Ga Model checking and artificial intelligence : 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 ; revised selected and invited papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6572
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Onoda, Takashi [HerausgeberIn] ; LENLS 7 2010 Tokio, JSAI-isAI 2 2010 Tokio, JURISIN 4 2010 Tokio New frontiers in artificial intelligence : JSAI-isAI 2010 Workshops LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18 - 19, 2010 ; revised selected papers Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6797
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Polleres, Axel [HerausgeberIn] ; Summer School Reasoning Web 7 2011 Galway Reasoning web : semantic technologies for the web of data ; 7th international summer school 2011, Galway, Ireland, August 23 - 27, 2011 ; tutorial lectures Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6848
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kroening, Daniel [VerfasserIn]; Strichman, Ofer [VerfasserIn] Decision procedures : an algorithmic point of view Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2008 Erschienen in: Texts in theoretical computer science ; an EATCS series
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hofmann, Martin [HerausgeberIn] ; 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 Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 6604
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gabbay, Dov M. [VerfasserIn] Fibring logics - [Repr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon, 2002 Erschienen in: Oxford logic guides ; 38,2002
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Czelakowski, Janusz [VerfasserIn] Protoalgebraic logics Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht; Boston [u.a.]: Kluwer Academic Publ., 2001 Erschienen in: Trends in logic ; 10
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (9.314) Wert ausschließen Bücher (1.096) Wert ausschließen Hochschulschriften (92) Wert ausschließen Konferenzberichte (25) Wert ausschließen Videos (6) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (3) Wert ausschließen Elektronische Ressourcen (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (49) Wert ausschließen Magazinbestellung (97) Wert ausschließen Verfügbarkeit vor Ort erfragen (10) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (125) Wert ausschließen Bereichsbibliothek DrePunct (90) Wert ausschließen Bestand der TU Dresden (8) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (98) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (31) Wert ausschließen Urheberrechtsschutz (16) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (8) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (6) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (5) Wert ausschließen Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) (3) Wert ausschließen Namensnennung - Keine Bearbeitung (CC BY-ND) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (2.866) Wert ausschließen Eingeschränkter Zugang (19) Wert ausschließen Ohne Angabe (7.501) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (7.314) Wert ausschließen Nicht zu entscheiden (3.096) Wert ausschließen Französisch (57) Wert ausschließen Deutsch (47) Wert ausschließen Spanisch (22) Wert ausschließen Portugiesisch (20) Wert ausschließen Russisch (18) Wert ausschließen Tschechisch (7) Wert ausschließen Ndonga (6) Wert ausschließen Türkisch (4) Wert ausschließen Norwegisch (3) Wert ausschließen Persisch (3) Wert ausschließen Arabisch (2) Wert ausschließen Katalanisch (2) Wert ausschließen Chinesisch (2) Wert ausschließen Kroatisch (2) Wert ausschließen Italienisch (2) Wert ausschließen Estnisch (1) Wert ausschließen Japanisch (1) Wert ausschließen Koreanisch (1) Wert ausschließen Latein (1) Wert ausschließen Polnisch (1) Wert ausschließen Slowakisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (2.013) Wert ausschließen Informatik (1.600) Wert ausschließen Philosophie (1.251) Wert ausschließen Technik (506) Wert ausschließen Wirtschaftswissenschaften (450) Wert ausschließen Soziologie (440) Wert ausschließen Allgemeines (419) Wert ausschließen Geschichte (398) Wert ausschließen Kunst und Kunstgeschichte (281) Wert ausschließen Geographie (201) Wert ausschließen Physik (197) Wert ausschließen Politologie (156) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (148) Wert ausschließen Pädagogik (138) Wert ausschließen Medizin (134) Wert ausschließen Chemie und Pharmazie (105) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (93) Wert ausschließen Rechtswissenschaft (80) Wert ausschließen Biologie (75) Wert ausschließen Psychologie (68) Wert ausschließen Theologie und Religionswissenschaft (36) Wert ausschließen Geologie und Paläontologie (27) Wert ausschließen Allgemeine Naturwissenschaft (26) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (7) Wert ausschließen Musikwissenschaft (6) Wert ausschließen Militärwissenschaft (5) Wert ausschließen Anglistik, Amerikanistik (1) Wert ausschließen Klassische Philologie (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Baader, Franz (96) Wert ausschließen Wolter, Frank (56) Wert ausschließen Olivetti, Nicola (48) Wert ausschließen Lutz, Carsten (43) Wert ausschließen Demri, Stéphane (33) Wert ausschließen Eiter, Thomas (32) Wert ausschließen Pozzato, Gian Luca (31) Wert ausschließen Cintula, Petr (30) Wert ausschließen Ono, Hiroakira (30) Wert ausschließen Grädel, Erich (29) Wert ausschließen Areces, Carlos (28) Wert ausschließen Maksimova, L. L. (28) Wert ausschließen Nguyen, Linh Anh (28) Wert ausschließen Zakharyaschev, Michael (28) Wert ausschließen Pattinson, Dirk (26) Wert ausschließen Peñaloza, Rafael (26) Wert ausschließen Borgwardt, Stefan (25) Wert ausschließen Droste, Manfred (25) Wert ausschließen Montanari, Angelo (25) Wert ausschließen Sattler, Ulrike (25) Wert ausschließen Balbiani, Philippe (24) Wert ausschließen Ciabattoni, Agata (24) Wert ausschließen Czelakowski, Janusz (24) Wert ausschließen Gabbay, Dov M. (24) Wert ausschließen Kamide, Norihiro (24) Wert ausschließen Rybakov, V. V. (24) Wert ausschließen Schröder, Lutz (24) Wert ausschließen Gastin, Paul (23) Wert ausschließen Goré, Rajeev (23) Wert ausschließen Virtema, Jonni (23) Wert ausschließen Herzig, Andreas (22) Wert ausschließen Hájek, Petr (22) Wert ausschließen Rudolph, Sebastian (22) Wert ausschließen Schaub, Torsten (22) Wert ausschließen Brady, Ross T. (21) Wert ausschließen Esteva, Francesc (21) Wert ausschließen Fitting, Melvin (21) Wert ausschließen Giordano, Laura (21) Wert ausschließen Goranko, Valentin (21) Wert ausschließen Navara, Mirko (21) Wert ausschließen Sciavicco, Guido (21) Wert ausschließen Baaz, Matthias (20) Wert ausschließen Godo, Lluís (20) Wert ausschließen Metcalfe, George (20) Wert ausschließen Fervari, Raul (19) Wert ausschließen Noguera, Carles (19) Wert ausschließen Glimm, Birte (18) Wert ausschließen Lange, Martin (18) Wert ausschließen Lounsbury, Michael (18) Wert ausschließen Wansing, Heinrich (18) Wert ausschließen Avron, Arnon (17) Wert ausschließen Fisher, Michael (17) Wert ausschließen Kern-Isberner, Gabriele (17) Wert ausschließen Lukasiewicz, Thomas (17) Wert ausschließen Pearce, David (17) Wert ausschließen Schmidt, Renate A. (17) Wert ausschließen Straccia, Umberto (17) Wert ausschließen Turhan, Anni-Yasmin (17) Wert ausschließen Horrocks, Ian (16) Wert ausschließen Montagna, Franco (16) Wert ausschließen Palmigiano, Alessandra (16) Wert ausschließen Pták, Pavel (16) Wert ausschließen Shkatov, Dmitry (16) Wert ausschließen Bollig, Benedikt (15) Wert ausschließen Gabbay, Dov (15) Wert ausschließen Ghilardi, Silvio (15) Wert ausschließen Governatori, Guido (15) Wert ausschließen Kontinen, Juha (15) Wert ausschließen Ma, Minghui (15) Wert ausschließen Meyer, Thomas (15) Wert ausschließen Routley, Richard (15) Wert ausschließen Bezhanishvili, Nick (14) Wert ausschließen Calvanese, Diego (14) Wert ausschließen Ferrari, Mauro (14) Wert ausschließen Giuntini, Roberto (14) Wert ausschließen Hella, Lauri (14) Wert ausschließen Ozaki, Ana (14) Wert ausschließen Parikh, Rohit (14) Wert ausschließen Rybakov, Mikhail (14) Wert ausschließen Steigmiller, Andreas (14) Wert ausschließen Suzuki, Nobu-Yuki (14) Wert ausschließen Woltran, Stefan (14) Wert ausschließen Artale, Alessandro (13) Wert ausschließen Bezhanishvili, Guram (13) Wert ausschließen Caleiro, Carlos (13) Wert ausschließen Dawar, Anuj (13) Wert ausschließen Della Monica, Dario (13) Wert ausschließen Grohe, Martin (13) Wert ausschließen Kurz, Alexander (13) Wert ausschließen Ognjanović, Zoran (13) Wert ausschließen Ortiz, Magdalena (13) Wert ausschließen Prade, Henri (13) Wert ausschließen Pulmannová, Sylvia (13) Wert ausschließen Rabinovich, Alexander (13) Wert ausschließen Sano, Katsuhiko (13) Wert ausschließen Seki, Takahiro (13) Wert ausschließen Vardi, Moshe Y. (13) Wert ausschließen van der Hoek, Wiebe (13) Wert ausschließen Alferes, José Júlio (12) Wert ausschließen Benzmüller, Christoph (12) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Berlin Heidelberg (CrossRef) (1.407) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1.170) Wert ausschließen Verbunddaten SWB (1.051) Wert ausschließen Informa UK Limited (CrossRef) (702) Wert ausschließen Elsevier BV (CrossRef) (658) Wert ausschließen JSTOR Mathematics & Statistics (560) Wert ausschließen Lizenzfreie Online-Ressourcen (489) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (470) Wert ausschließen Oxford University Press (OUP) (CrossRef) (438) Wert ausschließen SAGE Publications (CrossRef) (419) Wert ausschließen Springer International Publishing (CrossRef) (414) Wert ausschließen BASE - Bielefeld Academic Search Engine (402) Wert ausschließen Wiley (CrossRef) (353) Wert ausschließen JSTOR Arts & Sciences VII Archive (306) Wert ausschließen JSTOR Arts & Sciences I Archive (286) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (201) Wert ausschließen Elsevier (CrossRef) (140) Wert ausschließen Duke University Press (CrossRef) (133) Wert ausschließen Emerald (CrossRef) (132) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (120) Wert ausschließen Open Publishing Association (CrossRef) (109) Wert ausschließen JSTOR Arts & Sciences II Archive (100) Wert ausschließen DOAJ Directory of Open Access Journals (98) Wert ausschließen Springer Nature Switzerland (CrossRef) (91) Wert ausschließen OpenEdition (CrossRef) (86) Wert ausschließen Diss online (80) Wert ausschließen Qucosa (67) Wert ausschließen IOS Press (CrossRef) (60) Wert ausschließen JSTOR (CrossRef) (56) Wert ausschließen theses.fr (54) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (50) Wert ausschließen MDPI AG (CrossRef) (41) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (41) Wert ausschließen Academy of Management (CrossRef) (39) Wert ausschließen EconStor (German National Library of Economics, ZBW) (35) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (35) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (30) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (29) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (28) Wert ausschließen Project MUSE (CrossRef) (28) Wert ausschließen Victoria University of Wellington Library (CrossRef) (28) Wert ausschließen SSOAR Social Science Open Access Repository (26) Wert ausschließen Emerald Group Publishing Limited (CrossRef) (25) Wert ausschließen Scientific publications of the Saarland University (UdS) (22) Wert ausschließen AI Access Foundation (CrossRef) (21) Wert ausschließen Uniwersytet Lodzki (University of Lodz) (CrossRef) (21) Wert ausschließen IOP Publishing (CrossRef) (20) Wert ausschließen University of Chicago Press (CrossRef) (20) Wert ausschließen AIP Publishing (CrossRef) (17) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (17) Wert ausschließen National Academy of Sciences of Ukraine (Co. LTD Ukrinformnauka) (CrossRef) (17) Wert ausschließen Institute for Operations Research and the Management Sciences (INFORMS) (CrossRef) (16) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (15) Wert ausschließen Emerald Publishing Limited (CrossRef) (14) Wert ausschließen Hindawi Limited (CrossRef) (13) Wert ausschließen Philosophy Documentation Center (CrossRef) (13) Wert ausschließen SPIE (CrossRef) (13) Wert ausschließen FapUNIFESP (SciELO) (CrossRef) (12) Wert ausschließen Institute of Mathematics, Czech Academy of Sciences (CrossRef) (12) Wert ausschließen Persée (12) Wert ausschließen Steklov Mathematical Institute (CrossRef) (12) Wert ausschließen Brill (CrossRef) (11) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (11) Wert ausschließen Institute of Philosophy, Russian Academy of Sciences (CrossRef) (11) Wert ausschließen JSTOR Arts & Sciences III Archive (11) Wert ausschließen JSTOR Language & Literature Archive (11) Wert ausschließen Frontiers Media SA (CrossRef) (10) Wert ausschließen JSTOR Arts & Sciences XV Archive (10) Wert ausschließen American Educational Research Association (AERA) (CrossRef) (9) Wert ausschließen Vilnius University Press (CrossRef) (9) Wert ausschließen Det Kgl. Bibliotek/Royal Danish Library (CrossRef) (8) Wert ausschließen Blue Eyes Intelligence Engineering and Sciences Engineering and Sciences Publication - BEIESP (CrossRef) (7) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (7) Wert ausschließen Maad Rayan Publishing Company (CrossRef) (7) Wert ausschließen National Library of Serbia (CrossRef) (7) Wert ausschließen Nomos Verlag (CrossRef) (7) Wert ausschließen Project Euclid (CrossRef) (7) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (7) Wert ausschließen IGI Global (CrossRef) (6) Wert ausschließen Allerton Press (CrossRef) (5) Wert ausschließen American Chemical Society (ACS) (CrossRef) (5) Wert ausschließen Augsburg University Publication Server (OPUS) (5) Wert ausschließen CAIRN (CrossRef) (5) Wert ausschließen Consortium Erudit (CrossRef) (5) Wert ausschließen EDP Sciences (CrossRef) (5) Wert ausschließen ETH Zürich Research Collection (5) Wert ausschließen Eldorado - Repositorium der TU Dortmund (5) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (5) Wert ausschließen Indiana University Press (CrossRef) (5) Wert ausschließen John Benjamins Publishing Company (CrossRef) (5) Wert ausschließen MIT Press - Journals (CrossRef) (5) Wert ausschließen Mathematical Society of Japan (Project Euclid) (CrossRef) (5) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (5) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (5) Wert ausschließen Sobolev Institute of Mathematics (CrossRef) (5) Wert ausschließen Universitat Autonoma de Barcelona (CrossRef) (5) Wert ausschließen University of Toronto Press Inc. (UTPress) (CrossRef) (5) Wert ausschließen Weimar Bauhaus University: Digital Collectoins (5) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (5) Wert ausschließen Aurora Group, s.r.o (CrossRef) (4) Wert ausschließen zeige weitere weniger zeigen