Logic for applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Nerode, Anil
Další autoři: Shore, Richard A.
Médium: Kniha
Jazyk:angličtina
Vydáno: New york : Springer-Verlag, 1997.
Vydání:2nd ed.
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!

Library INP: MAIN

Informace o exemplářích z: Library INP: MAIN
Signatura: 005.1 A L
Jednotka Unknown Dostupné Požadavek