Výsledky vyhledávání - "matematická logika"

Alternativní vyhledávání:
matematicka » matematika

Obálka

Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings

Vydáno: 2003

Rukopis

Obálka

Verification of mathematical proofs autoreferát doktorské disertační práce

Autor Pudlák, Petr Vydáno: 2006

Rukopis

Obálka

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, Oktober 14-18, 2002 : proceedings

Vydáno: 2002

Rukopis

Obálka

Verification of mathematical proofs doctoral thesis

Autor Pudlák, Petr Vydáno: 2006

Rukopis

Obálka

Ultrafilters and small sets : doctoral thesis

Autor Flašková, Jana, 1978- Vydáno: 2006

Rukopis

Obálka

Rozvoj logického myšlení ve výuce matematiky na primárním stupni vzdělávání žáků se sluchovým postižením : disertační práce

Autor Šarátková, Anna Vydáno: 2006

Rukopis

Obálka

Formal concept analysis : foundations and applications

Vydáno: 2005

Plný text

Rukopis

Obálka

Úvod do studia matematiky na Univerzitě v Pardubicích

Autor Seibert, Jaroslav, 1947- Vydáno: 2002

Digitalizovaný dokument

Rukopis

Obálka

Kvalitativní simulace a její jazyk : doktorská disertační práce

Autor Marvan, Ivo Vydáno: 1995

Rukopis