Handbook of logic and proof techniques for computer science

Handbook of logic and proof techniques for computer science

Podrobná bibliografie
Hlavní autor: Krantz, Steven G. (Steven George) 1951- (Autor)
Médium: Kniha
Jazyk:English
Vydáno: Boston Birkhauser [2002]
Témata:
Computers.
Electronic data processing.