Výsledky vyhledávání

1

Computability & unsolvability /

Autor Davis, Martin, 1928-2023
Vydáno 1982

Kniha

2

Injective choice functions /

Autor Holz, Michael, Podewski, Klaus-Peter, Steffens, Karsten
Vydáno 1987

Kniha

3

Logika, automaty a algoritmy /

Autor Ajzerman, Mark Aronovič, 1913-1992
Vydáno 1971

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

4

Rudiments of μ-calculus /

Autor Arnold, André, Niwiński, D.
Vydáno 2001

Kniha

5

Type theory and functional programming /

Autor Thompson, Simon G.
Vydáno 1991

Kniha

6

Úvod do finitní matematiky /

Autor Kemeny, John G., 1926-1992, Snell, J. Laurie 1925-2011, Thompson, Gerald Luther, 1923-2009
Vydáno 1971

Elektronická verze přístupná pouze pro studenty a pracovníky MU

Kniha

7

Logic and automata : history and perspectives /

Vydáno 2008

Kniha

8

Temporal logic and state systems /

Autor Kröger, Fred, 1945-, Merz, Stephan, 1963-
Vydáno 2008

Kniha

9

Issledovanija po formalizovannym jazykam i naklassičeskim logikam /

Vydáno 1974

Kniha

10

Logic in computer science /

Vydáno 2009

Kniha

11

Logic in computer science II /

Vydáno 2015

Kniha

12

Kombinatorika i logika /

Vydáno 2003

Kniha

13

Logika i kombinatorika /

Vydáno 2002

Kniha

14

Monadic second-order logic on infinite words and trees

Autor Křetínský, Jan, 1984-
Vydáno 2007

Získat plný text

VŠ práce nebo rukopis

Upřesnit hledání