Logic for computer science

Logic for computer science

Pokaż wszystkie wersje (2)
Opis bibliograficzny
1. autor: Reeves, Steve 1957-
Kolejni autorzy: Clarke, Michael 1940-
Format: Książka
Język:English
Wydane: Wokingham, England Addison-Wesley c1990.
Seria:International computer science series
Hasła przedmiotowe:
Logic, Symbolic and mathematical.
Computer systems > Programming > Applications of mathematical logic.