Zum Inhalt springen Sommaruga, Giovanni [Verfasser:in] History and philosophy of constructive type theory Bücher Online ansehen Schließen 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, 2000 Erschienen in: Synthese <Dordrecht> / Library ; 29000 Andrews, Peter B. [Verfasser:in] A transfinite type theory with type variables Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland, 1965 Erschienen in: Studies in logic and the foundations of mathematics Henke, Friedrich W. von [Herausgeber:in] ; Arbeitstreffen Typtheorie 1994 Ulm Arbeitstreffen Typtheorie: Zusammenfassung der Beiträge Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1994 Erschienen in: Ulmer Informatik-Berichte ; 94,08 Martin-Löf, Per [Verfasser:in] ; Sambin, Giovanni [Sonstige Person, Familie und Körperschaft] Intuitionistic type 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: Bibliopolis, 1984 Erschienen in: Studies in proof theory / Lecture notes ; 1 Steffen, Martin [Verfasser:in] Polarized higher-order subtyping Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1999 Andrews, Peter B. [Verfasser:in] An introduction to mathematical logic and type theory: to truth through proof - [Nachdr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Orlando [u.a.]: Academic Press, 1986 [erschienen] 1987 Erschienen in: Computer science and applied mathematics Villadsen, Jørgen [Verfasser:in] Nabla : a linguistic system based on type theory Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Münster: Lit, 2010 Erschienen in: Grundlagen der Kommunikation und Kognition ; 1003 Brunnsteiner, Bernhard [Verfasser:in] Die Lügner-Paradoxie : kleine Philosophie-Geschichte des Widerspruchs Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Marburg: Tectum-Verl., c 2009 Hindley, James Roger [Verfasser:in] Basic simple type theory - [1. publ.] Bücher Online ansehen Schließen 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, 1997 Erschienen in: Cambridge tracts in theoretical computer science ; 42 Jacobs, Bart [Verfasser:in] Categorical logic and type theory - [1. ed.] Bücher Online ansehen Schließen 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, 1999 Erschienen in: Studies in logic and the foundations of mathematics ; 14100 Abadi, Martín [Verfasser:in]; Cardelli, Luca [Verfasser:in] A theory of objects Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; Berlin; Heidelberg: Springer, 1996 Erschienen in: Monographs in computer science Crole, Roy L. [Verfasser:in] Categories for types - [1. publ.] Bücher Online ansehen Schließen 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, 1993 Erschienen in: Cambridge mathematical textbooks Luo, Zhaohui [Verfasser:in] Computation and reasoning : a type theory for computer science Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon Press, 1994 Erschienen in: International series of monographs on computer science ; 11 Whitehead, Alfred North [Verfasser:in]; Russell, Bertrand [Verfasser:in] Principia mathematica : Vorwort und Einleitungen - [2. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Frankfurt am Main: Suhrkamp, 1990 Erschienen in: Suhrkamp-Taschenbuch Wissenschaft ; 593 Thompson, Simon [Verfasser:in] Type theory and functional programming - [1. printed] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wokingham, England [u.a.]: Addison-Wesley, 1991 Erschienen in: International computer science series Hofmann, Martin [Verfasser:in] Extensional constructs in intensional type theory Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London; Heidelberg [u.a.]: Springer, c1997 Erschienen in: CPHC/BCS distinguished dissertations Berardi, Stefano [Herausgeber:in]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; deL̉iguoro, Ugo [Sonstige Person, Familie und Körperschaft] ; TYPES 2008 Turin Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers Bücher Online ansehen Schließen 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, 2009 Erschienen in: Lecture notes in computer science ; 5497 Altenkirch, Thorsten [Herausgeber:in]; McBride, Conor [Sonstige Person, Familie und Körperschaft] ; TYPES 2006 Nottingham Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers Bücher Online ansehen Schließen 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, 2007 Erschienen in: Lecture notes in computer science ; 4502 Barthe, Gilles [Herausgeber:in] ; International Summer School on Applied Semantics 2000 Caminha Applied semantics : international summer school ; advanced lectures Bücher Online ansehen Schließen 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 Erschienen in: Lecture notes in computer science ; 2395 Ohori, Atsushi [Herausgeber:in] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2895
Sommaruga, Giovanni [Verfasser:in] History and philosophy of constructive type theory Bücher Online ansehen Schließen 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, 2000 Erschienen in: Synthese <Dordrecht> / Library ; 29000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Andrews, Peter B. [Verfasser:in] A transfinite type theory with type variables Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Amsterdam: North-Holland, 1965 Erschienen in: Studies in logic and the foundations of mathematics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Henke, Friedrich W. von [Herausgeber:in] ; Arbeitstreffen Typtheorie 1994 Ulm Arbeitstreffen Typtheorie: Zusammenfassung der Beiträge Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Ulm: Univ., Fak. für Informatik, 1994 Erschienen in: Ulmer Informatik-Berichte ; 94,08
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Martin-Löf, Per [Verfasser:in] ; Sambin, Giovanni [Sonstige Person, Familie und Körperschaft] Intuitionistic type 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: Bibliopolis, 1984 Erschienen in: Studies in proof theory / Lecture notes ; 1
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Steffen, Martin [Verfasser:in] Polarized higher-order subtyping Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 1999
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Andrews, Peter B. [Verfasser:in] An introduction to mathematical logic and type theory: to truth through proof - [Nachdr.] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Orlando [u.a.]: Academic Press, 1986 [erschienen] 1987 Erschienen in: Computer science and applied mathematics
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Villadsen, Jørgen [Verfasser:in] Nabla : a linguistic system based on type theory Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Münster: Lit, 2010 Erschienen in: Grundlagen der Kommunikation und Kognition ; 1003
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Brunnsteiner, Bernhard [Verfasser:in] Die Lügner-Paradoxie : kleine Philosophie-Geschichte des Widerspruchs Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Marburg: Tectum-Verl., c 2009
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hindley, James Roger [Verfasser:in] Basic simple type theory - [1. publ.] Bücher Online ansehen Schließen 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, 1997 Erschienen in: Cambridge tracts in theoretical computer science ; 42
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Jacobs, Bart [Verfasser:in] Categorical logic and type theory - [1. ed.] Bücher Online ansehen Schließen 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, 1999 Erschienen in: Studies in logic and the foundations of mathematics ; 14100
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Abadi, Martín [Verfasser:in]; Cardelli, Luca [Verfasser:in] A theory of objects Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. New York; Berlin; Heidelberg: Springer, 1996 Erschienen in: Monographs in computer science
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Crole, Roy L. [Verfasser:in] Categories for types - [1. publ.] Bücher Online ansehen Schließen 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, 1993 Erschienen in: Cambridge mathematical textbooks
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Luo, Zhaohui [Verfasser:in] Computation and reasoning : a type theory for computer science Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oxford: Clarendon Press, 1994 Erschienen in: International series of monographs on computer science ; 11
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Whitehead, Alfred North [Verfasser:in]; Russell, Bertrand [Verfasser:in] Principia mathematica : Vorwort und Einleitungen - [2. Aufl.] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Frankfurt am Main: Suhrkamp, 1990 Erschienen in: Suhrkamp-Taschenbuch Wissenschaft ; 593
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Thompson, Simon [Verfasser:in] Type theory and functional programming - [1. printed] Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Wokingham, England [u.a.]: Addison-Wesley, 1991 Erschienen in: International computer science series
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Hofmann, Martin [Verfasser:in] Extensional constructs in intensional type theory Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. London; Heidelberg [u.a.]: Springer, c1997 Erschienen in: CPHC/BCS distinguished dissertations
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Berardi, Stefano [Herausgeber:in]; Damiani, Ferruccio [Sonstige Person, Familie und Körperschaft]; deL̉iguoro, Ugo [Sonstige Person, Familie und Körperschaft] ; TYPES 2008 Turin Types for proofs and programs : international conference, TYPES 2008 Torino, Italy, March 26-29, 2008 ; revised selected papers Bücher Online ansehen Schließen 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, 2009 Erschienen in: Lecture notes in computer science ; 5497
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Altenkirch, Thorsten [Herausgeber:in]; McBride, Conor [Sonstige Person, Familie und Körperschaft] ; TYPES 2006 Nottingham Types for proofs and programs : international workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006 ; revised selected papers Bücher Online ansehen Schließen 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, 2007 Erschienen in: Lecture notes in computer science ; 4502
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Barthe, Gilles [Herausgeber:in] ; International Summer School on Applied Semantics 2000 Caminha Applied semantics : international summer school ; advanced lectures Bücher Online ansehen Schließen 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 Erschienen in: Lecture notes in computer science ; 2395
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Ohori, Atsushi [Herausgeber:in] ; APLAS 1 2003 Peking Programming languages and systems : first Asian Symposium, Beijing, China, November 27-29, 2003 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg: Springer, 2003 Erschienen in: Lecture notes in computer science ; 2895
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Bücher (108) Wert ausschließen Aufsätze (7) Wert ausschließen Hochschulschriften (2) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (10) Wert ausschließen Magazinbestellung (38) Wert ausschließen Verfügbarkeit vor Ort erfragen (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (36) Wert ausschließen Zentralbibliothek (13) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (17) Wert ausschließen Eingeschränkter Zugang (1) Wert ausschließen Ohne Angabe (50) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (105) Wert ausschließen Deutsch (10) Wert ausschließen Nicht zu entscheiden (3) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (90) Wert ausschließen Mathematik (72) Wert ausschließen Allgemeine und vergleichende Sprach- und Literaturwissenschaft, Indogermanistik, Außereuropäische Sprachen und Literaturen (13) Wert ausschließen Philosophie (13) Wert ausschließen Allgemeine Naturwissenschaft (6) Wert ausschließen Technik (6) Wert ausschließen Psychologie (4) Wert ausschließen Allgemeines (1) Wert ausschließen Anglistik, Amerikanistik (1) Wert ausschließen Musikwissenschaft (1) Wert ausschließen Physik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Berardi, Stefano (7) Wert ausschließen Dybjer, Peter (7) Wert ausschließen Nordström, Bengt (5) Wert ausschließen Altenkirch, Thorsten (4) Wert ausschließen Smith, Jan (4) Wert ausschließen Coquand, Thierry (3) Wert ausschließen Damiani, Ferruccio (3) Wert ausschließen International Workshop TYPES 4 1996 Aussois (3) Wert ausschließen Paulin-Mohring, Christine (3) Wert ausschließen Pogodalla, Sylvain (3) Wert ausschließen Andrews, Peter B. (2) Wert ausschließen Angelelli, Ignacio (2) Wert ausschließen Backhouse, Roland C. (2) Wert ausschließen Barendregt, Hendrik P. (2) Wert ausschließen Barendregt, Henk (2) Wert ausschließen Barthe, Gilles (2) Wert ausschließen Benzmüller, Christoph (2) Wert ausschließen Blache, Philippe (2) Wert ausschließen Bove, Ana (2) Wert ausschließen Callaghan, Paul (2) Wert ausschließen Coppo, Mario (2) Wert ausschließen Degano, Pierpaolo (2) Wert ausschließen Europäische Kommission Programm für Informationstechnologien Basic Research Action 21900 (2) Wert ausschließen Geuvers, Herman (2) Wert ausschließen Gibbons, Jeremy (2) Wert ausschließen Giménez, Eduardo (2) Wert ausschließen Guerraoui, Rachid (2) Wert ausschließen Hagiya, Masami (2) Wert ausschließen Henke, Friedrich Wilhelm von (2) Wert ausschließen Hinze, Ralf (2) Wert ausschließen Honsell, Furio (2) Wert ausschließen International Workshop TYPES 1 1993 Nimwegen (2) Wert ausschließen International Workshop TYPES 2 1994 Båstad (2) Wert ausschließen International Workshop TYPES 3 1995 Turin (2) Wert ausschließen Jacobs, Bart (2) Wert ausschließen Jeuring, Johan (2) Wert ausschließen Lamarche, François (2) Wert ausschließen Lecomte, Alain (2) Wert ausschließen Luo, Zhaohui (2) Wert ausschließen McBride, Conor (2) Wert ausschließen Miculan, Marino (2) Wert ausschließen Moortgat, Michael (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Ong, Luke (2) Wert ausschließen Perrier, Guy (2) Wert ausschließen Prost, Jean-Philippe (2) Wert ausschließen Retoré, Christian (2) Wert ausschließen Rheinwald, Rosemarie (2) Wert ausschließen Rueß, Harald (2) Wert ausschließen Russell, Bertrand (2) Wert ausschließen Sands, David (2) Wert ausschließen Scagnetto, Ivan (2) Wert ausschließen Schloss Dagstuhl, Leibniz-Zentrum für Informatik (2) Wert ausschließen Smolka, Gert (2) Wert ausschließen Spahn, Stephan (2) Wert ausschließen Strecker, Martin (2) Wert ausschließen Wadler, Philip (2) Wert ausschließen Werner, Benjamin (2) Wert ausschließen Whitehead, Alfred North (2) Wert ausschließen APLAS 1 2003 Peking (1) Wert ausschließen Abadi, Martín (1) Wert ausschließen Advanced Study Institute on Logic of Computation 1995 Marktoberdorf (1) Wert ausschließen Arbeitstreffen Typtheorie 1994 Ulm (1) Wert ausschließen Asher, Nicholas (1) Wert ausschließen Backhouse, Roland (1) Wert ausschließen Barbosa, Luís Soares (1) Wert ausschließen Bents, Richard (1) Wert ausschließen Benzmueller, Christoph (1) Wert ausschließen Blank, Reiner (1) Wert ausschließen Brunnsteiner, Bernhard (1) Wert ausschließen Busquets, Joan (1) Wert ausschließen Béchet, Denis (1) Wert ausschließen Büchi, Romain (1) Wert ausschließen Cardelli, Luca (1) Wert ausschließen Casadio, Claudia (1) Wert ausschließen Chin, Wei-Ngan (1) Wert ausschließen Coecke, Bob (1) Wert ausschließen Corfield, David (1) Wert ausschließen Crole, Roy L. (1) Wert ausschließen Danielsson, Nils Anders (1) Wert ausschließen Dikovsky, Alexander (1) Wert ausschließen Dowek, Gilles (1) Wert ausschließen Dudenhefner, Andrej (1) Wert ausschließen Döpp, Klemens (1) Wert ausschließen ECOOP 13 1999 Lissabon (1) Wert ausschließen ESOP 10 2001 Genua (1) Wert ausschließen ESOP 11 2002 Grenoble (1) Wert ausschließen ESOP 12 2003 Warschau (1) Wert ausschließen ESOP 9 2000 Berlin (1) Wert ausschließen ETAPS 3 2000 Berlin (1) Wert ausschließen ETAPS 4 2001 Genua (1) Wert ausschließen ETAPS 5 2002 Grenoble (1) Wert ausschließen ETAPS 6 2003 Warschau (1) Wert ausschließen Eberhard Karls Universität Tübingen (1) Wert ausschließen FLOPS 8 2006 Susono (1) Wert ausschließen Filliatre, Jean-Christophe (1) Wert ausschließen Filliâtre, Jean-Christophe (1) Wert ausschließen Fitting, Melvin (1) Wert ausschließen GOEBEL, JULIUS (1) Wert ausschließen Gandy, Robin O. (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (100) Wert ausschließen Lizenzfreie Online-Ressourcen (8) Wert ausschließen Diss online (5) Wert ausschließen BASE - Bielefeld Academic Search Engine (3) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) (2) Wert ausschließen Nationallizenzen (2) Wert ausschließen Walter de Gruyter GmbH (CrossRef) (2) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (1) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen ediss.sub.hamburg (Staats- und Universitätsbibliothek Hamburg, Carl von Ossietzky) (1) Wert ausschließen zeige weitere weniger zeigen