|   All Languages   
EN   SV   IS   RU   RO   FR   IT   SK   NL   PT   LA   FI   ES   HU   NO   BG   HR   CS   UK   DA   TR   PL   EO   SR   SQ   EL   BS   |   FR   SK   IS   ES   NL   RO   HU   PL   SV   NO   RU   FI   SQ   IT   DA   CS   PT   HR   BG   LA   EO   SR   BS   TR   EL

English-German Dictionary

English-German translation for: intuitionistic type theory
  äöüß...
  Options | Tips | FAQ | Abbreviations

LoginSign Up
Home|New Website|About|Vocab Trainer|Subjects|Users|Forum|Contribute!

intuitionistic type theory in other languages:

Deutsch - Englisch
German: I
A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Dictionary English → German: intuitionistic type theory

Translation 1 - 50 of 2158  >>

EnglishGerman
comp. math. intuitionistic type theory <ITT>intuitionistische Typentheorie {f} <ITT>
Partial Matches
comp. math. type theoryTypentheorie {f}
comp. math. constructive type theorykonstruktive Typentheorie {f}
comp. math. modal type theorymodale Typentheorie {f}
comp. math. dependent type theory <DTT>abhängige Typentheorie {f}
comp. math. homotopy type theory <HoTT>Homotopietypentheorie {f} <HoTT>
comp. math. Martin-Löf type theoryMartin-Löf-Typentheorie {f}
math. von Neumann-Bernays-Gödel set theory <NBG set theory>Neumann-Bernays-Gödel-Mengenlehre {f} <NBG-Mengenlehre>
math. Kelley-Morse set theory <KM set theory>Kelley-Morse-Mengenlehre {f} [selten] [Morse-Kelley-Mengenlehre]
math. Morse-Kelley set theory <MK set theory>Morse-Kelley-Mengenlehre {f} <MK-Mengenlehre>
phys. Bardeen-Cooper-Schrieffer theory <BCS theory>Bardeen-Cooper-Schrieffer-Theorie {f} <BCS-Theorie>
phys. Kaluza-Klein theory <KK theory>Kaluza-Klein-Theorie {f}
chem. molecular orbital theory <MO theory>Molekülorbitaltheorie {f} <MO-Theorie>
chem. phys. valence bond theory <VB theory>Elektronenpaar-Theorie {f} [Valenzstrukturtheorie]
chem. phys. valence bond theory <VB theory>Valenzbindungstheorie {f} <VB-Theorie>
chem. phys. valence bond theory <VB theory>Valenzstrukturtheorie {f} [auch: VB-Theorie]
med. delayed-type allergy (type IV)Allergie {f} vom verzögerten Typ (Typ IV)
med. immediate-type allergy (type I)Frühtyp-Allergie {f} (Typ I)
med. immediate-type allergy (type I)Soforttyp-Allergie {f} (Typ I)
document type <doc. type>Dokumententyp {m} <Dok.-Typ>
tech. document type <doc. type>Unterlagenart {f}
math. Tarski-Grothendieck set theory <TG, TG set theory>Tarski-Grothendieck-Mengenlehre {f} <TG>
econ. Heckscher-Ohlin theory <HOT, H-O-T, HO theory, H-O theory>Faktorproportionentheorie {f}
bibl. relig. spec. Alexandrian text-type / text typealexandrinischer Texttyp {m}
bibl. relig. spec. Byzantine text-type / text typebyzantinischer Texttyp {m}
Caesarean text-type / text typeCäsareanischer Texttyp {m}
Western text-type / text typewestlicher Texttyp {m}
theoryAnnahme {f}
theoryHypothese {f}
theoryLehre {f}
theoryTheorie {f}
theoryThese {f} [Theorie]
in theory {adv}in der Theorie [theoretisch]
in theory {adv}theoretisch
theory-based {adj}theoriebasiert
theory-driven {adj}theoriegeleitet
theory-loaded {adj}theorielastig
abstinence theoryAbstinenztheorie {f}
abstraction theoryAbstraktionstheorie {f}
absurd theoryabsurde Theorie {f}
accepted theoryakzeptierte Theorie {f}
accepted theoryanerkannte Theorie {f}
accountancy theoryBuchhaltungstheorie {f}
accounting theoryBuchhaltungstheorie {f}
accumulation theoryAkkumulationstheorie {f}
philos. action theoryHandlungstheorie {f}
activity theoryAktivitätstheorie {f}
math. actuarial theoryVersicherungsmathematik {f}
law adequation theoryAdäquanztheorie {f}
admin. administrative theoryVerwaltungstheorie {f}
Previous page   | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |   Next page
Feel free to link to this translation! Permanent link: https://www.dict.cc/?s=intuitionistic+type+theory
Hint: Double-click next to phrase to retranslate — To translate another word just start typing!
Search time: 0.031 sec

 
Forum

» Search forum for intuitionistic type theory
» Ask forum members for intuitionistic type theory

Recent Searches
Similar Terms
in tufts
intuit
intuited
intuition
intuitional
intuitionally
intuition and feeling
intuitionism
intuitionist
intuitionistic
• intuitionistic type theory
intuitionist logic
intuition of essences
intuitions
intuitive
intuitive control
intuitive faculty
intuitive knowledge
intuitively
intuitively accessible
intuitiveness

Do you know German-English translations not listed in this dictionary? Please tell us by entering them here!
Before you submit, please have a look at the guidelines. If you can provide multiple translations, please post one by one. Make sure to provide useful source information. Important: Please also help by verifying other suggestions!

Limited Input Mode
More than 1000 translations are waiting for verification. This means you can only add a new
translation if you log in and review another one first (max. 500 unverified entries per user).
The input form will only work from within the Contribute! section.

more...
German more...
Word Class more...
Subject
Comment
(Source, URL)
New Window

back to top | home© 2002 - 2025 Paul Hemetsberger | contact / privacy
English-German dictionary developed to help you share your knowledge with others. More information
Contains translations by TU Chemnitz and Mr Honey's Business Dictionary (German-English). Thank you!
Links to this dictionary or to single translations are very welcome! Questions and Answers
Advertisement