Zum Inhalt springen Furch, Andreas [VerfasserIn] Interaktive Beweissysteme, ihre Eigenschaften und deren Verhalten unter Komposition - [1. Aufl.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Clausthal-Zellerfeld: Papierflieger, 1998 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] Nagasawa, Yujin [VerfasserIn] The existence of God : a philosophical introduction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London [u.a.]: Routledge, 2011 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 Goldreich, Oded [VerfasserIn] Modern cryptography, probabilistic proofs and pseudorandomness 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, 1999 Erschienen in: Algorithms and combinatorics ; 17 Grieshaber, HAP [Sonstige Person, Familie und Körperschaft] Totentanz : [Andrucke] Bilder Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Leipzig], 1966 Hoerster, Norbert [VerfasserIn] Die Frage nach Gott - [Orig.-Ausg.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Beck, 2005 Erschienen in: Beck'sche Reihe ; 1635 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 Mackie, John L. [VerfasserIn] The miracle of theism : arguments for and against the existence of God Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford [u.a.]: Clarendon Press, 1982 Brentano, Franz [VerfasserIn] ; Kastil, Alfred [Sonstige Person, Familie und Körperschaft] Vom Dasein Gottes - [2., unveränd. Nachdr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hamburg: Meiner, 1980 Erschienen in: Philosophische Bibliothek ; 210,1980
Furch, Andreas [VerfasserIn] Interaktive Beweissysteme, ihre Eigenschaften und deren Verhalten unter Komposition - [1. Aufl.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Clausthal-Zellerfeld: Papierflieger, 1998
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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.
Nagasawa, Yujin [VerfasserIn] The existence of God : a philosophical introduction Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London [u.a.]: Routledge, 2011
> 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.
Goldreich, Oded [VerfasserIn] Modern cryptography, probabilistic proofs and pseudorandomness 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, 1999 Erschienen in: Algorithms and combinatorics ; 17
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Grieshaber, HAP [Sonstige Person, Familie und Körperschaft] Totentanz : [Andrucke] Bilder Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Leipzig], 1966
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hoerster, Norbert [VerfasserIn] Die Frage nach Gott - [Orig.-Ausg.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. München: Beck, 2005 Erschienen in: Beck'sche Reihe ; 1635
> 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.
Mackie, John L. [VerfasserIn] The miracle of theism : arguments for and against the existence of God Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford [u.a.]: Clarendon Press, 1982
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Brentano, Franz [VerfasserIn] ; Kastil, Alfred [Sonstige Person, Familie und Körperschaft] Vom Dasein Gottes - [2., unveränd. Nachdr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Hamburg: Meiner, 1980 Erschienen in: Philosophische Bibliothek ; 210,1980
> 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 (45.074) Wert ausschließen Bücher (3.597) Wert ausschließen Normen (1.412) Wert ausschließen Konferenzberichte (293) Wert ausschließen Hochschulschriften (250) Wert ausschließen Videos (62) Wert ausschließen Elektronische Ressourcen (7) Wert ausschließen Zeitschriften / Zeitungen / Schriftenreihen (7) Wert ausschließen Audios (3) Wert ausschließen Noten (2) Wert ausschließen Bilder (2) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (189) Wert ausschließen Magazinbestellung (212) Wert ausschließen Verfügbarkeit vor Ort erfragen (16) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Zentralbibliothek (278) Wert ausschließen Bereichsbibliothek DrePunct (96) Wert ausschließen Zweigbibliothek Rechtswissenschaft (29) Wert ausschließen Bestand der TU Dresden (10) Wert ausschließen Zweigbibliothek Medizin (7) Wert ausschließen Zweigbibliothek Erziehungswissenschaften (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Urheberrechtsschutz (1.450) Wert ausschließen Namensnennung (CC BY) (79) Wert ausschließen Namensnennung - Nicht kommerziell (CC BY-NC) (62) Wert ausschließen Namensnennung - Nicht-kommerziell - Keine Bearbeitung (CC BY-NC-ND) (47) Wert ausschließen Urheberrechtsschutz - Nicht kommerzielle Nutzung gestattet (22) Wert ausschließen Namensnennung - Keine Bearbeitung (CC BY-ND) (6) Wert ausschließen Namensnennung - Nicht-kommerziell - Weitergabe unter gleichen Bedingungen (CC BY-NC-SA) (5) Wert ausschließen Namensnennung - Weitergabe unter gleichen Bedingungen (CC BY-SA) (5) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (20.924) Wert ausschließen Eingeschränkter Zugang (1.463) Wert ausschließen Ohne Angabe (27.923) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (38.334) Wert ausschließen Nicht zu entscheiden (11.256) Wert ausschließen Deutsch (976) Wert ausschließen Französisch (207) Wert ausschließen Russisch (91) Wert ausschließen Spanisch (79) Wert ausschließen Tschechisch (75) Wert ausschließen Chinesisch (60) Wert ausschließen Italienisch (52) Wert ausschließen Portugiesisch (48) Wert ausschließen Persisch (36) Wert ausschließen Bahasa Indonesia (19) Wert ausschließen Japanisch (17) Wert ausschließen Türkisch (16) Wert ausschließen Polnisch (14) Wert ausschließen Arabisch (13) Wert ausschließen Latein (12) Wert ausschließen Niederländisch (9) Wert ausschließen Ndonga (7) Wert ausschließen Finnisch (6) Wert ausschließen Schwedisch (6) Wert ausschließen Dänisch (3) Wert ausschließen Norwegisch (3) Wert ausschließen Serbisch (3) Wert ausschließen Slowakisch (3) Wert ausschließen Kroatisch (2) Wert ausschließen Kymrisch (2) Wert ausschließen Armenisch (1) Wert ausschließen Bulgarisch (1) Wert ausschließen Katalanisch (1) Wert ausschließen Kasachisch (1) Wert ausschließen Lettisch (1) Wert ausschließen Litauisch (1) Wert ausschließen Multiple (1) Wert ausschließen Kein linguistischer Inhalt (1) Wert ausschließen Rumänisch (1) Wert ausschließen Urdu (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Mathematik (7.651) Wert ausschließen Technik (4.976) Wert ausschließen Medizin (4.886) Wert ausschließen Informatik (4.697) Wert ausschließen Chemie und Pharmazie (2.900) Wert ausschließen Physik (2.816) Wert ausschließen Biologie (2.075) Wert ausschließen Philosophie (1.696) Wert ausschließen Allgemeines (1.222) Wert ausschließen Wirtschaftswissenschaften (1.206) Wert ausschließen Rechtswissenschaft (1.033) Wert ausschließen Pädagogik (815) Wert ausschließen Psychologie (731) Wert ausschließen Geographie (614) Wert ausschließen Geschichte (551) Wert ausschließen Soziologie (515) Wert ausschließen Kunst und Kunstgeschichte (366) Wert ausschließen Land- und Forstwirtschaft, Gartenbau, Fischereiwirtschaft, Hauswirtschaft (307) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (295) Wert ausschließen Geologie und Paläontologie (265) Wert ausschließen Theologie und Religionswissenschaft (252) Wert ausschließen Allgemeine Naturwissenschaft (120) Wert ausschließen Politologie (100) Wert ausschließen Ethnologie (Volks- und Völkerkunde) (41) Wert ausschließen Musikwissenschaft (30) Wert ausschließen Sport (21) Wert ausschließen Klassische Philologie (16) Wert ausschließen Anglistik, Amerikanistik (7) Wert ausschließen Allgemeine Naturwissenschaften (4) Wert ausschließen Klassische Archäologie (4) Wert ausschließen Byzantinistik (2) Wert ausschließen Germanistik, Niederlandistik, Skandinavistik (1) Wert ausschließen Romanistik (1) Wert ausschließen Slawistik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet ISO International Organization for Standardization (772) Wert ausschließen ISO Internationale Organisation für Normung (772) Wert ausschließen ISO Organisation Internationale de Normalisation (772) Wert ausschließen DIN Deutsches Institut für Normung e. V. (537) Wert ausschließen DIN German Institute for Standardization (537) Wert ausschließen Nelsen, Roger B. (153) Wert ausschließen Aerospace Standards Committee (130) Wert ausschließen DIN-Normenausschuss Luft- und Raumfahrt (NL) (130) Wert ausschließen DIN Standards Committee Building and Civil Energeering (125) Wert ausschließen DIN-Normenausschuss Bauwesen (NABau) (125) Wert ausschließen VDI - The Association of German Engineers (100) Wert ausschließen VDI Verein Deutscher Ingenieure e.V. (100) Wert ausschließen ISO/TC 44 Schweißen und verwandte Verfahren (69) Wert ausschließen ISO/TC 44 Soudage et techniques connexes (69) Wert ausschließen ISO/TC 44 Welding and allied processes (69) Wert ausschließen CEI Commission Electrotechnique Internationale (56) Wert ausschließen DKE Deutsche Kommission Elektrotechnik Elektronik Informationstechnik in DIN und VDE (56) Wert ausschließen German Commission for Electrical, Electronic and Information Technologies of DIN and VDE (56) Wert ausschließen IEC International Electrotechnical Commission (56) Wert ausschließen IEC Internationale Elektrotechnische Kommission (56) Wert ausschließen Westminster Assembly (1643-1652) (53) Wert ausschließen Serizawa, Shigehiro (51) Wert ausschließen Zeilberger, Doron (50) Wert ausschließen Beyersdorff, Olaf (49) Wert ausschließen Kung, Sidney H. (43) Wert ausschließen Weber, Keith (42) Wert ausschließen ISO/TC 10 Documentation technique de produits (40) Wert ausschließen ISO/TC 10 Technical product documentation (40) Wert ausschließen ISO/TC 10 Technische Produktdokumentation (40) Wert ausschließen DIN-Normenausschuss Kunststoffe (FNK) (38) Wert ausschließen Plastics Standards Committee (38) Wert ausschließen DIN-Normenausschuss Textil und Textilmaschinen (Textilnorm) (37) Wert ausschließen Miller, Dale (37) Wert ausschließen Textiles and Textile Machinery Standards Committee (Textilnorm) (37) Wert ausschließen Calderhead, James A. (36) Wert ausschließen ISO/TC 17 Acier (36) Wert ausschließen ISO/TC 17 Stahl (36) Wert ausschließen ISO/TC 17 Steel (36) Wert ausschließen ISO/TC 2 Fasteners (36) Wert ausschließen ISO/TC 2 Mechanische Verbindungselemente (36) Wert ausschließen ISO/TC 2 Éléments de fixation (36) Wert ausschließen Schaumberger, Norman (35) Wert ausschließen Schroeder-Heister, Peter (35) Wert ausschließen Arai, Toshiyasu (33) Wert ausschließen ISO/TC 145 Graphical symbols (33) Wert ausschließen ISO/TC 145 Graphische Symbole (33) Wert ausschließen ISO/TC 145 Symboles graphiques et pictogrammes (33) Wert ausschließen Kohlenbach, Ulrich (33) Wert ausschließen Muirhead, R. F. (33) Wert ausschließen VDI Society Civil Engineering and Building Services (32) Wert ausschließen VDI-Gesellschaft Bauen und Gebäudetechnik (32) Wert ausschließen Goldreich, Oded (31) Wert ausschließen Nipkow, Tobias (31) Wert ausschließen Nordström, Jakob (31) Wert ausschließen Plaza, Ángel (31) Wert ausschließen Heule, Marijn J. H. (30) Wert ausschließen Barthe, Gilles (28) Wert ausschließen Bundy, Alan (28) Wert ausschließen Coquand, Thierry (28) Wert ausschließen Leslie, Charles (28) Wert ausschließen Lord, Nick (28) Wert ausschließen Buss, Samuel R. (27) Wert ausschließen Pitassi, Toniann (26) Wert ausschließen Pudlák, Pavel (26) Wert ausschließen Atserias, Albert (25) Wert ausschließen Francez, Nissim (25) Wert ausschließen Melis, Erica (25) Wert ausschließen Hanna, Gila (24) Wert ausschließen Straßburger, Lutz (24) Wert ausschließen Huang, Xiaorong (23) Wert ausschließen ISO/TC 198 Sterilisation von Produkten für die Gesundheitsvorsorge (23) Wert ausschließen ISO/TC 198 Sterilization of health care products (23) Wert ausschließen ISO/TC 198 Stérilisation des produits de santé (23) Wert ausschließen Biere, Armin (22) Wert ausschließen ISO/TC 130 Drucktechnik (22) Wert ausschließen ISO/TC 130 Graphic technology (22) Wert ausschließen ISO/TC 130 Technologie graphique (22) Wert ausschließen ISO/TC 228 Tourism and related services (22) Wert ausschließen ISO/TC 228 Tourisme et services connexes (22) Wert ausschließen ISO/TC 228 Tourismus und verwandte Dienstleistungen (22) Wert ausschließen Krajíček, Jan (22) Wert ausschließen Plum, Michael (22) Wert ausschließen Roche, Frédéric (22) Wert ausschließen Beckert, Bernhard (21) Wert ausschließen Dowek, Gilles (21) Wert ausschließen Dubois, Catherine (21) Wert ausschließen Feferman, Solomon (21) Wert ausschließen Rathjen, Michael (21) Wert ausschließen Schwichtenberg, Helmut (21) Wert ausschließen United States Congress House Committee on Public Lands (21) Wert ausschließen Westminster Assembly (21) Wert ausschließen Ciabattoni, Agata (20) Wert ausschließen ISO/CASCO (20) Wert ausschließen ISO/CASCO Committee on Conformity Assessment (20) Wert ausschließen ISO/TC 138 Kunststoffrohre, Fittings und Armaturen für den Transport von Fluiden (20) Wert ausschließen ISO/TC 138 Plastics pipes, fittings and valves for the transport of fluids (20) Wert ausschließen ISO/TC 138 Tubes, raccords et robinetterie en matières plastiques pour le transport des fluides (20) Wert ausschließen ISO/TC 72 Matériel pour l'industrie textile et accessoires (20) Wert ausschließen ISO/TC 72 Textile machinery and accessories (20) Wert ausschließen ISO/TC 72 Textilmaschinen und Zubehör (20) Wert ausschließen zeige weitere weniger zeigen
> musikalische Ausgabeform Skip to next facet Partitur (1) Wert ausschließen Stimmen (1) Wert ausschließen zeige weitere weniger zeigen
> musikalische Besetzung Skip to next facet Eins Saxophon Solo (1) Wert ausschließen Vier Violine (2), Viola, Violoncello Quartett (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Springer Science and Business Media LLC (CrossRef) (5.701) Wert ausschließen Elsevier BV (CrossRef) (4.814) Wert ausschließen JSTOR Mathematics & Statistics (3.569) Wert ausschließen Informa UK Limited (CrossRef) (2.604) Wert ausschließen Wiley (CrossRef) (2.512) Wert ausschließen Verbunddaten SWB (2.389) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (2.200) Wert ausschließen JSTOR Arts & Sciences I Archive (1.911) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1.655) Wert ausschließen JSTOR (CrossRef) (1.644) Wert ausschließen BASE - Bielefeld Academic Search Engine (1.423) Wert ausschließen Lizenzfreie Online-Ressourcen (1.245) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1.161) Wert ausschließen MDPI AG (CrossRef) (992) Wert ausschließen Springer International Publishing (CrossRef) (891) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (868) Wert ausschließen Nautos (ISO-Normen) (772) Wert ausschließen JSTOR Arts & Sciences II Archive (762) Wert ausschließen Eighteenth Century Collections Online / ECCO (728) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (678) Wert ausschließen DOAJ Directory of Open Access Journals (667) Wert ausschließen SAGE Publications (CrossRef) (621) Wert ausschließen IOP Publishing (CrossRef) (616) Wert ausschließen American Chemical Society (ACS) (CrossRef) (612) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (555) Wert ausschließen Nautos (DIN-Normen) (537) Wert ausschließen JSTOR Life Sciences Archive (536) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (535) Wert ausschließen JSTOR Arts & Sciences VII Archive (521) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (415) Wert ausschließen Frontiers Media SA (CrossRef) (394) Wert ausschließen American Physical Society (APS) (CrossRef) (370) Wert ausschließen JSTOR Arts & Sciences X Archive (300) Wert ausschließen AIP Publishing (CrossRef) (287) Wert ausschließen JSTOR Health & General Sciences (276) Wert ausschließen BMJ (CrossRef) (273) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (267) Wert ausschließen Royal Society of Chemistry (RSC) (CrossRef) (245) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (228) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (191) Wert ausschließen JSTOR Arts & Sciences XV Archive (185) Wert ausschließen Hindawi Limited (CrossRef) (183) Wert ausschließen theses.fr (177) Wert ausschließen Elsevier (CrossRef) (171) Wert ausschließen National Council of Teachers of Mathematics (CrossRef) (160) Wert ausschließen Springer Nature Switzerland (CrossRef) (152) Wert ausschließen EconStor (German National Library of Economics, ZBW) (151) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (148) Wert ausschließen Open Publishing Association (CrossRef) (145) Wert ausschließen JMIR Publications Inc. (CrossRef) (142) Wert ausschließen Trans Tech Publications, Ltd. (CrossRef) (136) Wert ausschließen U.S. Congressional Serial Set (135) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (130) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (130) Wert ausschließen Diss online (127) Wert ausschließen Institute of Mathematics, Polish Academy of Sciences (CrossRef) (124) Wert ausschließen Duke University Press (CrossRef) (121) Wert ausschließen Scientific Research Publishing, Inc. (CrossRef) (120) Wert ausschließen SPIE (CrossRef) (119) Wert ausschließen Georg Thieme Verlag KG (CrossRef) (118) Wert ausschließen Pleiades Publishing Ltd (CrossRef) (113) Wert ausschließen Institute of Mathematical Statistics (CrossRef) (112) Wert ausschließen American Society of Clinical Oncology (ASCO) (CrossRef) (107) Wert ausschließen International Press of Boston (CrossRef) (106) Wert ausschließen Project MUSE (CrossRef) (103) Wert ausschließen JSTOR Business & Economics (100) Wert ausschließen Nautos (VDI-Normen) (100) Wert ausschließen University of Chicago Press (CrossRef) (100) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (98) Wert ausschließen The Electronic Journal of Combinatorics (CrossRef) (97) Wert ausschließen Mathematical Sciences Publishers (CrossRef) (96) Wert ausschließen Emerald (CrossRef) (92) Wert ausschließen JSTOR Business I Archive (92) Wert ausschließen Mary Ann Liebert Inc (CrossRef) (92) Wert ausschließen American Association of Physics Teachers (AAPT) (CrossRef) (90) Wert ausschließen JSTOR Arts & Sciences IV Archive (88) Wert ausschließen JSTOR Arts & Sciences VIII Archive (86) Wert ausschließen American Psychological Association (APA) (CrossRef) (85) Wert ausschließen Canadian Mathematical Society (CrossRef) (83) Wert ausschließen Institute of Mathematics, Czech Academy of Sciences (CrossRef) (83) Wert ausschließen JSTOR Arts & Sciences III Archive (80) Wert ausschließen Proceedings of the National Academy of Sciences (CrossRef) (74) Wert ausschließen American Society of Hematology (CrossRef) (70) Wert ausschließen Japan Society of Mechanical Engineers (CrossRef) (70) Wert ausschließen Making of the Modern World economics, politics and industry (70) Wert ausschließen IOS Press (CrossRef) (69) Wert ausschließen EDP Sciences (CrossRef) (68) Wert ausschließen S. Karger AG (CrossRef) (66) Wert ausschließen Steklov Mathematical Institute (CrossRef) (66) Wert ausschließen The Royal Society (CrossRef) (66) Wert ausschließen e-periodica (Swiss journals online, ETH Zurich) (65) Wert ausschließen Project Euclid (CrossRef) (64) Wert ausschließen Brill (CrossRef) (63) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (61) Wert ausschließen Making of Modern Law Legal Treatises 1800-1926 / MOML 1 (59) Wert ausschließen American Institute of Mathematical Sciences (AIMS) (CrossRef) (57) Wert ausschließen ASME International (CrossRef) (48) Wert ausschließen American Society for Microbiology (CrossRef) (45) Wert ausschließen KLUEDO - Publication Server of University of Kaiserslautern-Landau (RPTU) (45) Wert ausschließen OpenEdition (CrossRef) (41) Wert ausschließen zeige weitere weniger zeigen