Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
algebraic logic
2
algebraická logika
2
algebra
1
algorithms
1
algoritmy
1
computational linguistics
1
computer science
1
více…
inductive logic
1
induktivní logika
1
logic
1
logika
1
matematická logika
1
matematika
1
mathematical logic
1
mathematics
1
Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Cambridge tracts in theoretical computer science ;"'
Autor Troelstra, A. S., 1939-
Vydáno: 2000
„... Cambridge tracts in theoretical computer science ...“Vydáno: 2000
Externí odkaz:
Obsah knihy
Kniha
Autor Hindley, J. Roger, 1939-
Vydáno: 1997
„... Cambridge tracts in theoretical computer science ...“Vydáno: 1997
![Získat plný text](/themes/knav_katalog/images/sfxbutton.gif)
Externí odkaz:
Obsah knihy
Kniha
Autor Troelstra, Anne Sjerp
Vydáno: 2000
„... Cambridge Tracts in Theoretical Computer Science ; ...“Vydáno: 2000
Kniha
Autor Blackburn, Patrick
Vydáno: 2001
„... Cambridge Tracts in Theoretical Computer Science ; ...“Vydáno: 2001
Kniha
Vydáno: 2011
„... Cambridge tracts in theoretical computer science ; ...“
Externí odkaz:
Contributor biographical information
Kniha
Autor Vickers, Steven
Vydáno: 1989
„... Cambridge tracts in theoretical computer science ; ...“Vydáno: 1989
Kniha