Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- type theory 3 Treffer
- logic 2 Treffer
- asphalt concrete 1 Treffer
- asphalt mixture 1 Treffer
- baire space 1 Treffer
-
33 weitere Werte:
- bishop-style constructive mathematics 1 Treffer
- cohesive zone 1 Treffer
- constructive mathematics 1 Treffer
- constructive set theory 1 Treffer
- countable union 1 Treffer
- double negation 1 Treffer
- elementary embedding 1 Treffer
- existential quantifier 1 Treffer
- explicit mathematics 1 Treffer
- feferman's explicit mathematics 1 Treffer
- formal topology 1 Treffer
- fracture energy 1 Treffer
- fracture property 1 Treffer
- generalized inductive definitions 1 Treffer
- ground model 1 Treffer
- induction rule 1 Treffer
- inference rule 1 Treffer
- intuitionistic logic 1 Treffer
- kripke model 1 Treffer
- main lemma 1 Treffer
- mathematical theory of computation 1 Treffer
- metric space 1 Treffer
- minimalist foundation 1 Treffer
- order arithmetic 1 Treffer
- predicative vs. impredicative 1 Treffer
- proper class 1 Treffer
- realizability interpretation 1 Treffer
- separation properties 1 Treffer
- separation theorem 1 Treffer
- topological space 1 Treffer
- transition function 1 Treffer
- tree representation 1 Treffer
- zermelo-fraenkel 1 Treffer
Verlag
Publikation
- acronyms, initialisms & abbreviations dictionary 12 Treffer
- acronyms, initialisms, & abbreviations dictionary 2 Treffer
- acronyms, initialisms, and abbreviations dictionary 2 Treffer
- from sets and types to topology and analysis : towards practicable foundations for constructive mathematics 2 Treffer
- 7th rilem international conference on cracking in pavements : mechanisms, modeling, testing, detection and prevention case histories 1 Treffer
-
11 weitere Werte:
- associations canada : le repertoire des associations du canada 1 Treffer
- associations canada 2016 : associations du canada 1 Treffer
- associations canada 2021 : associations du canada 1 Treffer
- associations canada 2023 : associations du canada 1 Treffer
- automated reasoning : third international joint conference, ijcar 2006, seattle, wa, usa, august 17-20, 2006. proceedings 1 Treffer
- epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of per martin-lof 1 Treffer
- logical foundations of computer science : international symposium, lfcs 2007, new york, ny, usa, june 4-7, 2007. proceedings 1 Treffer
- logicism, intuitionism, and formalism : what has become of them? 1 Treffer
- twenty five years of constructive type theory 1 Treffer
- types for proofs and programs : international conference, types 2007, cividale des friuli, italy, may 2-5, 2007 revised selected papers 1 Treffer
- types for proofs and programs : international workshop, types 2000 durham, uk, december 8-12, 2000 selected papers 1 Treffer
Sprache
30 Treffer
-
In: Associations Canada 2023 : Associations du Canada; (2023) S. 486-486BuchZugriff:
-
In: Associations Canada 2021 : Associations du Canada; (2021) S. 497-497BuchZugriff:
-
2015BuchZugriff:
-
2013BuchZugriff:
-
2012BuchZugriff:
-
2011BuchZugriff:
-
2010BuchZugriff:
-
2009BuchZugriff:
-
2008BuchZugriff:
-
In: Associations Canada 2016 : Associations du Canada; (2016) S. 501-501BuchZugriff:
-
In: Associations Canada : Le répertoire des associations du Canada; (2010) S. 428-428BuchZugriff:
-
2002Online E-BookZugriff:
-
In: From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics; (2005-10-06)Online E-BookZugriff:
-
2009Online E-BookZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
In: From Sets and Types to Topology and Analysis : Towards practicable foundations for constructive mathematics; (2005-10-06)Online E-BookZugriff: