Martin-Löf-Typentheorie in other languages:

Deutsch - Englisch

German: M

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: Martin Löf Typentheorie

Translation 1 - 50 of 108 >>

	English » Restrict search to this language	German » Restrict search to this language
	comp. math. Martin-Löf type theory	Martin-Löf-Typentheorie `{f}`
Partial Matches
	med. Martin's disease	Martin-Syndrom `{n}` `[ugs.]` `[Periosteoarthritis` `des` `Fußes]`
	geogr. San Martin de Tor	St. Martin in Thurn `{n}`
	lit. F The Life and Adventures of Martin Chuzzlewit `[Charles` `Dickens]`	Leben und Abenteuer des Martin Chuszlewit
	zool. T San Martín Island woodrat / wood rat `[Neotoma` `martinensis]` `[extinct]`	San-Martin-Buschratte `{f}` `[ausgestorben]`
	zool. T San Martín woodrat `[Neotoma` `martinensis]` `[extinct]`	San-Martin-Buschratte `{f}` `[ausgestorben]`
	relig. St. Martin of Tours	hl. Martin von Tours `{m}`
	comp. math. type theory	Typentheorie `{f}`
	Martin Luther King Day `[Am.]`	Martin-Luther-King-Tag `{m}` `[15.` `Januar]`
	spec. theory of types	Typentheorie `{f}`
	comp. math. constructive type theory	konstruktive Typentheorie `{f}`
	comp. math. modal type theory	modale Typentheorie `{f}`
	geogr. Byam Martin Island	Byam-Martin-Insel `{f}`
	biol. med. Martin-Gruber anastomosis	Martin-Gruber-Anastomose `{f}`
	hist. relig. Pope Martin V	Papst `{m}` Martin V.
	geogr. San Martín Glacier	San-Martín-Gletscher `{m}`
	Siemens-Martin steel	Siemens-Martin-Stahl `{m}`
	film F Martin Luther `[Irving` `Pichel]`	Martin Luther
	comp. math. dependent type theory <DTT>	abhängige Typentheorie `{f}`
	hist. Rev. Martin Luther King, Jr. <MLK> `[Am.]` `[civil` `rights` `activist]`	Reverend Martin Luther King, Jr. `{m}`
	med. Martin-Bell syndrome <MBS>	Martin-Bell-Syndrom `{n}` <MBS>
	comp. math. intuitionistic type theory <ITT>	intuitionistische Typentheorie `{f}` <ITT>
	name Martin	Martin `{m}`
	orn. T martin	Hausschwalbe `{f}`
	geogr. Saint Martin	Saint-Martin `{n}`
	chem. Dess-Martin oxidation	Dess-Martin-Oxidation `{f}`
	relig. St. Martin's Day	Martini `{n}`
	relig. St. Martin's Day	Martinstag `{m}`
	gastr. St. Martin's goose	Martinsgans `{f}`
	St. Martin's parade	Martinsumzug `{m}`
	relig. St. Martin's procession	Martinszug `{m}`
	relig. Feast of St. Martin	Martinstag `{m}`
	orn. T banded martin `[Riparia` `cincta]`	Weißbrauenschwalbe `{f}`
	orn. T Caribbean martin `[Progne` `dominicensis]`	Dominikanerschwalbe `{f}`
	orn. T Caribbean martin `[Progne` `dominicensis]`	Karibikschwalbe `{f}`
	orn. T Cuban martin `[Progne` `cryptoleuca]`	Kubaschwalbe `{f}`
	orn. T elegant martin `[Progne` `elegans]`	Blauschwalbe `{f}`
	orn. T fairy martin `[Petrochelidon` `ariel]`	Arielschwalbe `{f}`
	entom. T martin bug `[Oeciacus` `hirundinis]`	Schwalbenwanze `{f}`
	orn. T Mascarene martin `[Phedina` `borbonica]`	Maskarenenschwalbe `{f}`
	orn. T Peruvian martin `[Progne` `murphyi]`	Peruschwalbe `{f}`
	orn. T purple martin `[Progne` `subis]`	Purpurschwalbe `{f}`
	orn. T rock martin `[Ptyonoprogne` `fuligula]`	Steinschwalbe `{f}`
	orn. T Sinaloa martin `[Progne` `sinaloae]`	Sinaloaschwalbe `{f}`
	orn. T southern martin `[Progne` `elegans]`	Blauschwalbe `{f}`
	orn. T tree martin `[Petrochelidon` `nigricans]`	Baumschwalbe `{f}`
	tech. open-hearth furnace	Siemens-Martin-Ofen `{m}`
	open-hearth steel	Siemens-Martin-Stahl `{m}`
	gastr. St. Martin's goose	Martinigansl `{n}` `[österr.]`
	orn. T (common) house martin `[Delichon` `urbicum]`	Mehlschwalbe `{f}`

Previous page | 1 | 2 | 3 | Next page

Feel free to link to this translation! Permanent link: https://www.dict.cc/?s=Martin-L%C3%B6f-Typentheorie
Hint: Double-click next to phrase to retranslate — To translate another word just start typing!
Search time: 0.011 sec

» Dieses Gerät BL o.k. ieren Martin-Löf-Typentheorie/DEEN

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!

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

English-German Dictionary

Martin-Löf-Typentheorie in other languages:

Dictionary English ↔ German: Martin Löf Typentheorie

Translation 1 - 50 of 108 >>