Logic for applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Nerode, Anil (autor)
Další autoři: Shore, Richard A. (autor) (autor)
Médium: Kniha
Jazyk:angličtina
Vydáno: Nueva York, EUA : Springer, 1997, c1997
Vydání:2a edición
Edice:(Graduate Texts in Computer Science)
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Fyzický popis:456 p.
ISBN:0-387-94893-7