Výsledky
1 - 1
z
1
pro vyhledávání '
"mathematics"
'
Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Zachovat současné nastavení filtrů
author_facet:"Kamareddine, Fairouz D."
genre_facet:"sborníky"
topic_facet:"matematická logika"
Vyhledávání: "mathematics"
Preferované termíny:
Hokkaido daigakku. Sūgaku kōkyūroku
,
Prezentace matematiky (konference)
,
soudní vědy
,
GraVisMa (workshop)
,
Aarhus universitet. Matematisk institut
,
Stockholms universitet. Matematiska institutionen
,
Tōkei Sūri Kenkyūjo (Japonsko)
,
DML 2008 (Birmingham, Anglie)
,
Evropská virtuální laboratoř matematiky (projekt)
,
Fraunhofer Institut für Techno- und Wirtschafsmathematik
,
Universität Kiel. Mathematisch-Naturwissenschaftliche Fakultät
,
DML 2010 (Paříž, Francie)
,
DML 2011 (Bertinoro, Itálie)
,
Mezinárodní matematická olympiáda
,
Latvijas universitāte. Fizikas un matemātikas fakultāte
,
Finanční matematika v praxi 2012 : Svratka, Česko)
,
Univerzita Karlova. Katedra didaktiky matematiky
,
DML 2009 (Grand Bend, Ontario)
,
Sociedade Brasileira de Matemática Aplicada e Computacional
,
Olomoucké dny aplikované matematiky (konference)
Související termíny:
Indiana University. Graduate Institute for Mathematics and Mechanics
,
University of Auckland. Department of Mathematics & Statistics
Výsledky
1 - 1
z
1
pro vyhledávání '
"mathematics"
'
, doba hledání: 0,02 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Thirty five years of automating mathematics /
Vydáno 2003
Témata:
';
“
...
mathematical
logic...
”
Umístění:
Načítá se...
Kniha
Načítá se...
Do oblíbených
Uloženo v:
Jednotky
Vyhledávací nástroje:
RSS
—
Poslat emailem
—
Uložit hledání
Zpět
Upřesnit hledání
Odstranit filtry
Zrušit filtr
Autor: Kamareddine, Fairouz D.
Zrušit filtr
Žánr: sborníky
Zrušit filtr
Doporučená témata: matematická logika
Knihovna
Filozofická fakulta
1
Typ dokumentu
Kniha
1
Autor
Kamareddine, Fairouz D.
Jazyk
Angličtina
1
Doporučená témata
Obecné úvahy o matematice
1
formal languages
1
formální jazyky
1
matematická logika
mathematical logic
1
proof theory
1
více ...
teorie důkazu
1
Zobrazit vše ...
méně ...
Žánr
jubilee books
1
jubilejní publikace
1
papers of several authors
1
sborníky
studie
1
studies
1
Rok vydání
Od:
do:
×
Načítá se...