Logic for computer science

Logic for computer science

Zobrazit všechna vydaní (2)
Podrobná bibliografie
Hlavní autor: Reeves, Steve 1957-
Další autoři: Clarke, Michael 1940-
Médium: Kniha
Jazyk:English
Vydáno: Wokingham, England Addison-Wesley c1990.
Témata:
Logic, Symbolic and mathematical.