Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- mathematics 3 Treffer
- type theory 3 Treffer
- constructive 2 Treffer
- constructive mathematics 2 Treffer
- constructive set theory 2 Treffer
-
45 weitere Werte:
- discrete mathematics 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- axiom 1 Treffer
- axiom of choice 1 Treffer
- calculus 1 Treffer
- cancer treatment 1 Treffer
- class (set theory) 1 Treffer
- coating 1 Treffer
- computer science::logic in computer science 1 Treffer
- dedekind cut 1 Treffer
- double negation 1 Treffer
- effective descriptive set theory 1 Treffer
- elementary embedding 1 Treffer
- elementary equivalence 1 Treffer
- exponentiation 1 Treffer
- ferrite 1 Treffer
- general set theory 1 Treffer
- ground model 1 Treffer
- higher-order logic 1 Treffer
- hol 1 Treffer
- induction rule 1 Treffer
- inference rule 1 Treffer
- intuitionistic logic 1 Treffer
- kripke model 1 Treffer
- mathematical economics 1 Treffer
- mathematical logic 1 Treffer
- mathematical proof 1 Treffer
- mathematics::logic 1 Treffer
- medicine 1 Treffer
- medicine.medical_specialty 1 Treffer
- minimalist foundation 1 Treffer
- morse-kelley set theory 1 Treffer
- non-well-founded set theory 1 Treffer
- proof theory 1 Treffer
- proper class 1 Treffer
- pure mathematics 1 Treffer
- realizability 1 Treffer
- set (abstract data type) 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Publikation
- applied physics a: materials science & processing 1 Treffer
- automated reasoning : third international joint conference, ijcar 2006, seattle, wa, usa, august 17-20, 2006. proceedings 1 Treffer
- logical foundations of computer science : international symposium, lfcs 2007, new york, ny, usa, june 4-7, 2007. proceedings 1 Treffer
- the european physical journal plus 1 Treffer
- types for proofs and programs : international conference, types 2007, cividale des friuli, italy, may 2-5, 2007 revised selected papers 1 Treffer
- Ein weiterer Wert:
Sprache
9 Treffer
-
In: Applied Physics A: Materials Science & Processing, Jg. 130 (2024-04-01), Heft 4Online academicJournalZugriff:
-
2002Online E-BookZugriff:
-
In: The European Physical Journal Plus, Jg. 129 (2014-08-01), Heft 8, S. 1-10Online academicJournalZugriff:
-
2008Online E-BookZugriff:
-
2007Online E-BookZugriff:
-
2008Online unknownZugriff: