Zum Inhalt springen Ungar, Anthony M. [VerfasserIn] Normalization, cut-elimination and the theory of proofs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Stanford, Calif.: CSLI, 1992 Erschienen in: Stanford University: CSLI lecture notes ; 28 Bimbó, Katalin [VerfasserIn] Proof theory : sequent calculi and related formalisms Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boca Raton, Fla. [u.a.]: CRC Press, Taylor & Francis, 2015 Erschienen in: Discrete mathematics and its applications Alsina, Claudi [VerfasserIn]; Nelsen, Roger B. [VerfasserIn] ; Filk, Thomas [ÜbersetzerIn] Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik 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 Spektrum, [2013] Wille, Matthias [VerfasserIn] Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Paderborn: Mentis-Verl., 2008 Negri, Sara [VerfasserIn]; Plato, Jan von [VerfasserIn] Structural proof theory - [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, 2001 Troelstra, Anne S. [VerfasserIn]; Schwichtenberg, Helmut [VerfasserIn] Basic proof theory - [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 University Press, 2000 Erschienen in: Cambridge tracts in theoretical computer science ; 43.2000 Gabbay, Dov M. [VerfasserIn]; Olivetti, Nicola [VerfasserIn] Goal-directed proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht [u.a.]: Kluwer, c 2000 Erschienen in: Applied logic series ; 21 Buss, Samuel R. [Sonstige Person, Familie und Körperschaft] Handbook of proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: Elsevier, 1998 Erschienen in: Studies in logic and the foundations of mathematics ; 13700 Heindorf, Lutz [VerfasserIn] Elementare Beweistheorie Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994 Mints, G. E. [VerfasserIn] Selected papers in proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Napoli [u.a.]: Bibliopolis [u.a.], 1992 Erschienen in: Studies in proof theory / Monographs ; 3 Schütte, Kurt [VerfasserIn] Beweistheorie Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Göttingen; Heidelberg: Springer, 1960 Erschienen in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 103 Aigner, Martin [VerfasserIn]; Ziegler, Günter M. [VerfasserIn] ; Hofmann, Karl H. [IllustratorIn] Das Buch der Beweise - [2. Aufl.] 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, 2004 Goubault-Larrecq, Jean [VerfasserIn]; Mackie, Ian [VerfasserIn] Proof theory and automated deduction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht [u.a.]: Kluwer Academic, 1997 Erschienen in: Applied logic series ; 6 Wolf, Robert S. [VerfasserIn] Proof, logic, and conjecture : the mathematician's toolbox Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY [u.a.]: Freeman, 1998 Cunningham, Daniel W. [VerfasserIn] A logical introduction to proof Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; Heidelberg; Dordrecht; London: Springer, [2012] Pohlers, Wolfram [VerfasserIn] Proof theory : the first step into impredicativity 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, 2009 Erschienen in: Universitext Došen, Kosta [VerfasserIn]; Petrić, Zoran [VerfasserIn] Proof-theoretical coherence Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: King's College Publications, 2004 Erschienen in: Studies in logic ; 1 Aigner, Martin [VerfasserIn]; Ziegler, Günter M. [VerfasserIn] ; Hofmann, Karl H. [Sonstige Person, Familie und Körperschaft] Das Buch der Beweise 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, 2002 Wansing, Heinrich [VerfasserIn] Displaying modal logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht; London [u.a.]: Kluwer Academic, c1998 Erschienen in: Trends in logic ; 3 Craig, William [VerfasserIn] Logic in algebraic form : three languages and theories Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: North-Holland, 1974 Erschienen in: Studies in logic and the foundations of mathematics ; 7200
Ungar, Anthony M. [VerfasserIn] Normalization, cut-elimination and the theory of proofs Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Stanford, Calif.: CSLI, 1992 Erschienen in: Stanford University: CSLI lecture notes ; 28
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bimbó, Katalin [VerfasserIn] Proof theory : sequent calculi and related formalisms Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boca Raton, Fla. [u.a.]: CRC Press, Taylor & Francis, 2015 Erschienen in: Discrete mathematics and its applications
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Alsina, Claudi [VerfasserIn]; Nelsen, Roger B. [VerfasserIn] ; Filk, Thomas [ÜbersetzerIn] Bezaubernde Beweise : eine Reise durch die Eleganz der Mathematik 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 Spektrum, [2013]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wille, Matthias [VerfasserIn] Beweis und Reflexion : philosophische Untersuchungen über die Grundlagen beweistheoretischer Praxen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Paderborn: Mentis-Verl., 2008
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Negri, Sara [VerfasserIn]; Plato, Jan von [VerfasserIn] Structural proof theory - [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, 2001
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Troelstra, Anne S. [VerfasserIn]; Schwichtenberg, Helmut [VerfasserIn] Basic proof theory - [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 University Press, 2000 Erschienen in: Cambridge tracts in theoretical computer science ; 43.2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gabbay, Dov M. [VerfasserIn]; Olivetti, Nicola [VerfasserIn] Goal-directed proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht [u.a.]: Kluwer, c 2000 Erschienen in: Applied logic series ; 21
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Buss, Samuel R. [Sonstige Person, Familie und Körperschaft] Handbook of proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: Elsevier, 1998 Erschienen in: Studies in logic and the foundations of mathematics ; 13700
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Heindorf, Lutz [VerfasserIn] Elementare Beweistheorie Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Mannheim; Leipzig; Wien; Zürich: BI-Wiss.-Verl., 1994
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mints, G. E. [VerfasserIn] Selected papers in proof theory Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Napoli [u.a.]: Bibliopolis [u.a.], 1992 Erschienen in: Studies in proof theory / Monographs ; 3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schütte, Kurt [VerfasserIn] Beweistheorie Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Göttingen; Heidelberg: Springer, 1960 Erschienen in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 103
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Aigner, Martin [VerfasserIn]; Ziegler, Günter M. [VerfasserIn] ; Hofmann, Karl H. [IllustratorIn] Das Buch der Beweise - [2. Aufl.] 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, 2004
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Goubault-Larrecq, Jean [VerfasserIn]; Mackie, Ian [VerfasserIn] Proof theory and automated deduction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht [u.a.]: Kluwer Academic, 1997 Erschienen in: Applied logic series ; 6
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wolf, Robert S. [VerfasserIn] Proof, logic, and conjecture : the mathematician's toolbox Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York, NY [u.a.]: Freeman, 1998
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cunningham, Daniel W. [VerfasserIn] A logical introduction to proof Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; Heidelberg; Dordrecht; London: Springer, [2012]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pohlers, Wolfram [VerfasserIn] Proof theory : the first step into impredicativity 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, 2009 Erschienen in: Universitext
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Došen, Kosta [VerfasserIn]; Petrić, Zoran [VerfasserIn] Proof-theoretical coherence Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London: King's College Publications, 2004 Erschienen in: Studies in logic ; 1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Aigner, Martin [VerfasserIn]; Ziegler, Günter M. [VerfasserIn] ; Hofmann, Karl H. [Sonstige Person, Familie und Körperschaft] Das Buch der Beweise 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, 2002
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Wansing, Heinrich [VerfasserIn] Displaying modal logic Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Dordrecht; London [u.a.]: Kluwer Academic, c1998 Erschienen in: Trends in logic ; 3
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Craig, William [VerfasserIn] Logic in algebraic form : three languages and theories Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam [u.a.]: North-Holland, 1974 Erschienen in: Studies in logic and the foundations of mathematics ; 7200
> 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 (2.976) Wert ausschließen Bücher (324) Wert ausschließen Hochschulschriften (44) Wert ausschließen Konferenzberichte (5) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (3) Wert ausschließen Videos (2) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (59) Wert ausschließen Magazinbestellung (46) Wert ausschließen Verfügbarkeit vor Ort erfragen (7) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (74) Wert ausschließen Bereichsbibliothek DrePunct (33) Wert ausschließen Bestand der TU Dresden (6) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (9) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (6) Wert ausschließen Urheberrechtsschutz (2) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (1) Wert ausschließen Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) (1) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (1) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (1.366) Wert ausschließen Eingeschränkter Zugang (11) Wert ausschließen Ohne Angabe (1.871) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (2.479) Wert ausschließen Nicht zu entscheiden (831) Wert ausschließen Deutsch (25) Wert ausschließen Französisch (20) Wert ausschließen Russisch (3) Wert ausschließen Tschechisch (2) Wert ausschließen Persisch (2) Wert ausschließen Bahasa Indonesia (1) Wert ausschließen Portugiesisch (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (1.834) Wert ausschließen Informatik (988) Wert ausschließen Philosophie (248) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (174) Wert ausschließen Technik (174) Wert ausschließen Physik (113) Wert ausschließen Allgemeines (109) Wert ausschließen Geschichte (73) Wert ausschließen Chemie und Pharmazie (47) Wert ausschließen Kunst und Kunstgeschichte (44) Wert ausschließen Wirtschaftswissenschaften (40) Wert ausschließen Medizin (31) Wert ausschließen Pädagogik (25) Wert ausschließen Theologie und Religionswissenschaft (24) Wert ausschließen Biologie (21) Wert ausschließen Psychologie (20) Wert ausschließen Soziologie (20) Wert ausschließen Geographie (15) Wert ausschließen Rechtswissenschaft (13) Wert ausschließen Klassische Philologie (12) Wert ausschließen Allgemeine Naturwissenschaft (6) Wert ausschließen Musikwissenschaft (6) Wert ausschließen Geologie und Paläontologie (4) Wert ausschließen Politologie (4) Wert ausschließen Anglistik, Amerikanistik (1) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (1) Wert ausschließen Klassische Archäologie (1) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Kohlenbach, Ulrich (21) Wert ausschließen Arai, Toshiyasu (16) Wert ausschließen Rathjen, Michael (15) Wert ausschließen Beyersdorff, Olaf (14) Wert ausschließen Coquand, Thierry (13) Wert ausschließen Scarpellini, Bruno (13) Wert ausschließen Buss, Samuel R. (11) Wert ausschließen Schwichtenberg, Helmut (11) Wert ausschließen Berardi, Stefano (10) Wert ausschließen Ciabattoni, Agata (10) Wert ausschließen Kreisel, G. (10) Wert ausschließen Schroeder-Heister, Peter (10) Wert ausschließen ACM Special Interest Group on Programming Languages (9) Wert ausschließen Das, Anupam (9) Wert ausschließen Feferman, Solomon (9) Wert ausschließen Miller, Dale (9) Wert ausschließen Negri, Sara (9) Wert ausschließen Baumgartner, James E. (8) Wert ausschließen Fitting, Melvin (8) Wert ausschließen Prawitz, Dag (8) Wert ausschließen Straßburger, Lutz (8) Wert ausschließen Zeilberger, Doron (8) Wert ausschließen Aigner, Martin (7) Wert ausschließen Avigad, Jeremy (7) Wert ausschließen Dybjer, Peter (7) Wert ausschließen Dyckhoff, Roy (7) Wert ausschließen Guo, Victor J. W. (7) Wert ausschließen Iemhoff, Rosalie (7) Wert ausschließen Piecha, Thomas (7) Wert ausschließen Wansing, Heinrich (7) Wert ausschließen Ziegler, Günter M. (7) Wert ausschließen Altenkirch, Thorsten (6) Wert ausschließen Baaz, Matthias (6) Wert ausschließen Goldreich, Oded (6) Wert ausschließen Hagis, Peter (6) Wert ausschließen Köbler, Johannes (6) Wert ausschließen Metcalfe, George (6) Wert ausschließen Pym, David J. (6) Wert ausschließen Rothblum, Ron D. (6) Wert ausschließen Rubel, L. A. (6) Wert ausschließen Taylor, B. A. (6) Wert ausschließen Zeng, Jiang (6) Wert ausschließen ACM Special Interest Group on Logic and Computation (5) Wert ausschließen Association for Computing Machinery-Digital Library (5) Wert ausschließen Baelde, David (5) Wert ausschließen Barthe, Gilles (5) Wert ausschließen Bridges, Douglas (5) Wert ausschließen Buchholz, Wilfried (5) Wert ausschließen Burnet, Thomas (5) Wert ausschließen Chiesa, Alessandro (5) Wert ausschließen Dowek, Gilles (5) Wert ausschließen Geuvers, Herman (5) Wert ausschließen Gottlob, Georg (5) Wert ausschließen Jäger, Gerhard (5) Wert ausschließen Kreitz, Christoph (5) Wert ausschließen Leitsch, Alexander (5) Wert ausschließen Mao, Guo-Shuai (5) Wert ausschließen Mints, Grigori (5) Wert ausschließen Myhill, John (5) Wert ausschließen Nipkow, Tobias (5) Wert ausschließen Nordström, Bengt (5) Wert ausschließen Olivetti, Nicola (5) Wert ausschließen Pohlers, Wolfram (5) Wert ausschließen Saurin, Alexis (5) Wert ausschließen Terui, Kazushige (5) Wert ausschließen Tiu, Alwen (5) Wert ausschließen Troelstra, Anne S. (5) Wert ausschließen Venkitasubramaniam, Muthuramakrishnan (5) Wert ausschließen Association for Computing Machinery (4) Wert ausschließen Atserias, Albert (4) Wert ausschließen Berger, Ulrich (4) Wert ausschließen Biere, Armin (4) Wert ausschließen Bitansky, Nir (4) Wert ausschließen Blanqui, Frédéric (4) Wert ausschließen Brotherston, James (4) Wert ausschließen Buss, Samuel (4) Wert ausschließen Craig, William (4) Wert ausschließen Damiani, Ferruccio (4) Wert ausschließen Filliâtre, Jean-Christophe (4) Wert ausschließen Foata, Dominique (4) Wert ausschließen Giesl, Jürgen (4) Wert ausschließen Girard, Jean-Yves (4) Wert ausschließen Goré, Rajeev (4) Wert ausschließen Guo, Victor J.W. (4) Wert ausschließen Gur, Tom (4) Wert ausschließen HAMMERSMITH, JAMES P. (4) Wert ausschließen Hetzl, Stefan (4) Wert ausschließen Hilscher, Martin (4) Wert ausschließen Howard, W. A. (4) Wert ausschließen Ishai, Yuval (4) Wert ausschließen Itsykson, Dmitry (4) Wert ausschließen Johansson, Moa (4) Wert ausschließen Jouannaud, Jean-Pierre (4) Wert ausschließen Kahle, Reinhard (4) Wert ausschließen Kino, Akiko (4) Wert ausschließen Li, Chi-Kwong (4) Wert ausschließen Lin, Bernard L. S. (4) Wert ausschließen Linker, Sven (4) Wert ausschließen Mundici, Daniele (4) Wert ausschließen Nicholson, Br (4) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Elsevier BV (CrossRef) (579) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (518) Wert ausschließen Verbunddaten SWB (274) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (237) Wert ausschließen BASE - Bielefeld Academic Search Engine (177) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (162) Wert ausschließen Informa UK Limited (CrossRef) (134) Wert ausschließen JSTOR Mathematics & Statistics (118) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (100) Wert ausschließen Elsevier (CrossRef) (97) Wert ausschließen Oxford University Press (OUP) (CrossRef) (95) Wert ausschließen The Electronic Journal of Combinatorics (CrossRef) (77) Wert ausschließen JSTOR Arts & Sciences I Archive (75) Wert ausschließen JSTOR (CrossRef) (56) Wert ausschließen Lizenzfreie Online-Ressourcen (52) Wert ausschließen Wiley (CrossRef) (52) Wert ausschließen Springer International Publishing (CrossRef) (43) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (39) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (39) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (37) Wert ausschließen theses.fr (31) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (28) Wert ausschließen IOS Press (CrossRef) (24) Wert ausschließen JSTOR Arts & Sciences II Archive (24) Wert ausschließen AIP Publishing (CrossRef) (21) Wert ausschließen International Press of Boston (CrossRef) (21) Wert ausschließen JSTOR Life Sciences Archive (21) Wert ausschließen University of Chicago Press (CrossRef) (19) Wert ausschließen American Physical Society (APS) (CrossRef) (18) Wert ausschließen Cellule MathDoc/CEDRAM (CrossRef) (18) Wert ausschließen JSTOR Health & General Sciences (18) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (18) Wert ausschließen IOP Publishing (CrossRef) (17) Wert ausschließen JSTOR Arts & Sciences VII Archive (17) Wert ausschließen Springer Nature Switzerland (CrossRef) (16) Wert ausschließen Diss online (15) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (15) Wert ausschließen MDPI AG (CrossRef) (14) Wert ausschließen Steklov Mathematical Institute (CrossRef) (14) Wert ausschließen DOAJ Directory of Open Access Journals (12) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (11) Wert ausschließen Project MUSE (CrossRef) (11) Wert ausschließen SAGE Publications (CrossRef) (11) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (9) Wert ausschließen Hiroshima University - Department of Mathematics (CrossRef) (9) Wert ausschließen Mathematical Sciences Publishers (CrossRef) (9) Wert ausschließen Open Publishing Association (CrossRef) (9) Wert ausschließen Brill (CrossRef) (8) Wert ausschließen EconStor (German National Library of Economics, ZBW) (8) Wert ausschließen Eighteenth Century Collections Online / ECCO (8) Wert ausschließen JSTOR Arts & Sciences XV Archive (7) Wert ausschließen Renate - Repositorium für Naturwissenschaften und Technik (TIB Hannover) (7) Wert ausschließen University of Wyoming Libraries (CrossRef) (7) Wert ausschließen American Chemical Society (ACS) (CrossRef) (6) Wert ausschließen ETH Zürich Research Collection (6) Wert ausschließen Making of Modern Law Legal Treatises 1800-1926 / MOML 1 (6) Wert ausschließen Ninety Nine Publication (CrossRef) (6) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (6) Wert ausschließen The Royal Society (CrossRef) (6) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (5) Wert ausschließen BMJ (CrossRef) (5) Wert ausschließen Duke University Press (CrossRef) (5) Wert ausschließen New York Business Global LLC (CrossRef) (5) Wert ausschließen Persée (5) Wert ausschließen Weierstrass Institute for Applied Analysis and Stochastics publication server (5) Wert ausschließen American Psychological Association (APA) (CrossRef) (4) Wert ausschließen JSTOR Business & Economics (4) Wert ausschließen JSTOR Business I Archive (4) Wert ausschließen Mathematical Society of Japan (Project Euclid) (CrossRef) (4) Wert ausschließen Modern Language Association (MLA) (CrossRef) (4) Wert ausschließen OpenEdition (CrossRef) (4) Wert ausschließen Portico (CrossRef) (4) Wert ausschließen ASME International (CrossRef) (3) Wert ausschließen Institute of Mathematical Statistics (CrossRef) (3) Wert ausschließen Journal of Graph Algorithms and Applications (CrossRef) (3) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (3) Wert ausschließen Mathematical Notes (CrossRef) (3) Wert ausschließen Open-Access-Publikationsserver der Humboldt-Universität: edoc-Server (3) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (3) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (3) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (3) Wert ausschließen The Pennsylvania State University Press (CrossRef) (3) Wert ausschließen Tomsk State University (CrossRef) (3) Wert ausschließen Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University (CrossRef) (3) Wert ausschließen Alliance of Diamond Open Access Journals (CrossRef) (2) Wert ausschließen American Vacuum Society (CrossRef) (2) Wert ausschließen Canadian Center of Science and Education (CrossRef) (2) Wert ausschließen Det Kgl. Bibliotek/Royal Danish Library (CrossRef) (2) Wert ausschließen EDP Sciences (CrossRef) (2) Wert ausschließen Foundation Compositio Mathematica (CrossRef) (2) Wert ausschließen Hindawi Limited (CrossRef) (2) Wert ausschließen Institute of Mathematics, Czech Academy of Sciences (CrossRef) (2) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (2) Wert ausschließen International Scientific Research Publications MY SDN. BHD. (CrossRef) (2) Wert ausschließen JSTOR Arts & Sciences X Archive (2) Wert ausschließen MIT Press - Journals (CrossRef) (2) Wert ausschließen Making of the Modern World economics, politics and industry (2) Wert ausschließen Michigan Mathematical Journal (CrossRef) (2) Wert ausschließen Münster University (WWU): miami (2) Wert ausschließen zeige weitere weniger zeigen