Výsledky
1 - 1
z
1
pro vyhledávání '
"algebra"
'
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:"International Conference on Algebraic Methodology and Software Technology Urbana, Illinois)"
building:"FI"
topic_facet:"algebraická logika"
Vyhledávání: "algebra"
Preferované termíny:
Clairaut, Alexis Claude, 1713-1765. Élémens d'algèbre.
,
CALCO (konference) (2007 : Bergen, Norsko)
,
CALCO (konference) (2005 : Swansea, Wales)
,
Letní škola algebry a uspořádaných množin (1994 : Horní Lipová, Česko)
,
AAECC-14 (konference) (2001 : Melbourne, Victoria)
,
AAECC-15 (konference) (2003 : Toulouse, Francie)
,
Prague Topological Symposium 1986 : Praha, Česko)
,
CASC (workshop) 2009 : Kobe, Japonsko)
,
TOPOSYM (sympozium) 2022 : Praha, Česko)
Související termíny:
algebraická logika
,
Galoisova teorie
,
abstraktní algebra
,
algebraická geometrie
,
algebraické identity
,
algebraické nerovnosti
,
algebraické rovnice
,
algebraické struktury
,
aplikovaná algebra
,
diferenciální algebra
,
geometrická algebra
,
homologická algebra
,
homomorfismy
,
komplexy (matematika)
,
komutativní algebra
,
nekomutativní algebra
,
obecná algebra
,
počítačová algebra
,
teorie reprezentací
,
univerzální algebra
,
vektorová algebra
,
matematika
,
vektorové prostory
,
množiny
, …
Výsledky
1 - 1
z
1
pro vyhledávání '
"algebra"
'
, doba hledání: 0,01 s.
Upřesnit hledání
Seřadit podle
Relevance
Podle data sestupně
Podle data vzestupně
Autor
Název
1
Algebraic methodology and software technology : 12th International Conference, AMAST 2008 : Urbana, IL, USA, July 28-31, 2008 : proceedings /
Vydáno 2008
Témata:
';
“
...
algebraic
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: International Conference on Algebraic Methodology and Software Technology Urbana, Illinois)
Zrušit filtr
Knihovna: Fakulta informatiky
Zrušit filtr
Doporučená témata: algebraická logika
Knihovna
Fakulta informatiky
Typ dokumentu
Kniha
1
Autor
International Conference on Algebraic Methodology and Software Technology Urbana, Illinois)
Meseguer, José
1
Roşu, Grigore, 1971-
1
Jazyk
Angličtina
1
Doporučená témata
algebraic logic
1
algebraická logika
software engineering
1
softwarové inženýrství
1
Žánr
sborníky konferencí
1
Rok vydání
Od:
do:
×
Načítá se...