Flick Club LogoFlick Club Logo

Generating Plans from Proofs

Michael Abraham Benedikt

Efthymia Tsamoura

Balder Ten Cate

Julien Leblay

Querying (Computer Science) Reformulation (Mathematical Programming) Data Mining
Hackers
4.1 21 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
Coders at Work
4.0 18 votes
Code
4.3 21 votes
Freedom™
4.1 29 votes
The Mythical Man-Month
4.2 28 votes
JavaScript
4.1 30 votes
Algorithms to Live By
4.0 37 votes
Hackers & painters
4.0 16 votes
Daemon
4.1 44 votes
Invisible Women
4.4 24 votes
The Pragmatic Programmer
4.4 41 votes
Masters of Doom
4.1 32 votes
In the Beginning...Was the Command Line
3.7 22 votes
Biology
3.9 18 votes
Calculus
4.1 17 votes
The Prince's Virgin Wife
4.2 22 votes
Cryptonomicon
4.5 28 votes
A short history of nearly everything
4.1 87 votes
What If?
4.3 93 votes
The Code Book
4.0 35 votes
The Drunkard's Walk
4.0 20 votes
Snow Crash
4.0 172 votes
The C Programming Language
4.3 36 votes
The Difference Engine
3.3 22 votes
Anathem
4.3 64 votes
Microbiology
4.5 17 votes
The Sisters Brothers
3.8 16 votes
The Soul of a New Machine
4.1 15 votes
Player Piano
3.8 27 votes
Astrophysics for People in a Hurry
4.6 22 votes
Broken Angels
3.4 21 votes
How to lie with statistics
4.1 21 votes
Don't Make Me Think
4.1 15 votes
The Cathedral and the Bazaar
4.3 16 votes
Ghost in the wires
4.1 17 votes
The Innovators
3.9 18 votes
Algebra 1
3.8 18 votes
The Fall of Hyperion
4.0 45 votes
Halting State
3.5 18 votes
Microserfs
4.0 18 votes
The Dark Forest (The Three-Body Problem Series Book 2)
4.6 18 votes
Reamde
3.7 47 votes
Code Complete
4.2 22 votes
I Am America (And So Can You!)
3.9 23 votes
How to solve it
4.0 15 votes
Nightfall
4.1 23 votes
The Stars My Destination
4.0 23 votes