×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [boolean theory]
A Practical Theory of Programming
37 views
Expressiveness and Closure Properties for Quantitative Languages
22 views
Expressiveness and Closure Properties for Quantitative Languages Krishnendu Chatterjee, IST Austria Laurent Doyen, ULB Belgium Tom Henzinger, EPFL Switzerland
217 views
Hehner: A Practical Theory of Programming
17 views
Claude Shannon 1916-2001. Claude Shannon Claude Elwood Shannon is the founding father of electronic communications age. Claude’s parents are Claude
238 views