Logic for computer science

Logic for computer science

Toon alle (2) versies
Bibliografische gegevens
Hoofdauteur: Reeves, Steve 1957-
Andere auteurs: Clarke, Michael 1940-
Formaat: Boek
Taal:English
Gepubliceerd in: Wokingham, England Addison-Wesley c1990.
Reeks:International computer science series
Onderwerpen:
Logic, Symbolic and mathematical.
Computer systems > Programming > Applications of mathematical logic.