Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Turing's World 3.0 Windows Version
pocket,
2014,
Engelska,
ISBN 9781881526889
Turing’s World is a self-contained introduction to Turing machines, one of the fundamental notions of logic and computer science. The text and accompanying diskette allow the user …
Hyperproof
pocket,
1994,
Engelska,
ISBN 9781881526117
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional …