Filtry
Composition of Deductions within the Propositions-As-Types Paradigm
Philosophy, History and Philosophy of science and technology
- 2020 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
The placeholder view of assumptions and the Curry–Howard correspondence
Philosophy, History and Philosophy of science and technology
- 2021 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Pyle Howard
Autorský medailon přibližuje literární dílo amerického spisovatele a ilustrátora Howard Pylea (1853-1911)...
AJ - Písemnictví, mas–media, audiovize
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Study of the structure and fluidity of alloy of the AlSiMg system with a different calcium content
JG - Hutnictví, kovové materiály
- 2013 •
- Jx •
- Odkaz
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Faithfulness for naive validity
Philosophy, History and Philosophy of science and technology
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Isomorphism of weighted trees and Stanley's isomorphism conjecture for caterpillars
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Meyer Howard Abrams: Zrcadlo a lampa. Romantická teorie a tradice estetického myšlení
AJ - Písemnictví, mas–media, audiovize
- 2001 •
- B
Rok uplatnění
B - Odborná kniha
Determination of banned dyes in spices by liquid chromatography-mass spectrometry
GM - Potravinářství
- 2007 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
John Howard Yoder, 1927-1997
J. H. Yoder, významný americký teolog, životopis a studie...
AA - Filosofie a náboženství
- 2004 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Quantum and non-signalling graph isomorphisms
Pure mathematics
- 2019 •
- Jimp •
- Odkaz
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 z 136