Sign In
Sign Up
Proving termination properties of PROLOG programs
Marianne Baudinet
-
/
5
0 votes
Semantics
Artificial Intelligence
Prolog (Computer Program Language)
Hackers
4.1
21 votes
Coders at Work
4.0
18 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
JavaScript
4.1
30 votes
The Mythical Man-Month
4.2
28 votes
Accelerando
3.9
38 votes
Masters of Doom
4.1
32 votes
Hackers & painters
4.0
16 votes
Artificial intelligence
4.2
20 votes
Code
4.3
21 votes
The Pragmatic Programmer
4.4
41 votes
We Are Legion
4.2
15 votes
The Difference Engine
3.3
22 votes
The C Programming Language
4.3
36 votes
Idoru
3.8
29 votes
Protector
4.1
15 votes
Klara and the Sun
3.7
38 votes
The moon is a harsh mistress
4.0
71 votes
The Jennifer Morgue
3.8
20 votes
Neuromancer
4.0
70 votes
Babel-17
3.5
16 votes
2001: A Space Odyssey
4.2
118 votes
Consider Phlebas
3.6
92 votes
The Peripheral
4.1
35 votes
Ringworld
3.8
87 votes
All Systems Red
4.3
29 votes
Rogue protocol
4.2
66 votes
Fugitive Telemetry
4.2
31 votes
Gödel, Escher, Bach
4.2
59 votes
The Hydrogen Sonata
4.0
27 votes
Surface Detail
4.1
30 votes
Do Androids Dream of Electric Sheep?
4.0
143 votes
Mona Lisa Overdrive
4.0
52 votes
Count Zero
4.0
52 votes
I, Robot
4.2
153 votes
The three stigmata of Palmer Eldritch
3.5
24 votes
Look to windward
4.0
30 votes
The player of games
4.2
73 votes
The Ringworld Engineers
3.8
25 votes
Network Effect
4.3
50 votes
Artificial condition
4.2
59 votes
To Sleep in a Sea of Stars
3.5
17 votes
English Grammar in Use
4.1
17 votes
The Soul of a New Machine
4.1
15 votes
Burning Chrome
3.9
41 votes
All Tomorrow's Parties
3.9
19 votes
The Algebraist
3.8
19 votes
2010: odyssey two
3.7
35 votes