Popis: Logic for applications /

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Nerode, Anil, 1932- (Autor), Shore, Richard A., 1946- (Autor)
Typ dokumentu:	Kniha
Jazyk:	Angličtina
Vydáno:	New York : Springer-Verlag, 1993.
Edice:	Texts and monographs in computer science
Témata:	matematická logika mathematical logic kolektivní monografie collective monographs

Přejít na ObalkyKnih.cz

Popis
Fyzický popis:	xvii, 365 s.
ISBN:	0-387-94129-0