Sign In
Sign Up
Theorem proving with analytic tableaux and related methods
TABLEAUX '95 (1995 Sankt Goar, Germany)
1995
-
/
5
0 votes
Artificial Intelligence
Symbolic And Mathematical Logic
Symbolic And Mathematical
Pokémon Ruby Version
4.1
308 votes
Pokémon Pearl Version
4.1
189 votes
RollerCoaster Tycoon
4.1
195 votes
Deliver Us the Moon
3.9
69 votes
The Turing Test
3.7
112 votes
RollerCoaster Tycoon 2
3.6
148 votes
Bomberman 64
3.5
58 votes
NBA Jam
3.7
72 votes
Persona 4 Arena
4.0
51 votes
Pokémon Diamond Version
4.1
288 votes
RollerCoaster Tycoon 3
3.9
109 votes
The Fall
3.9
52 votes
Ruiner
3.8
119 votes
Star Wars: Rogue Squadron
3.9
106 votes
System Shock
4.6
72 votes
Stronghold 2
3.6
58 votes
Planet Coaster
4.1
108 votes
SSX Tricky
4.4
63 votes
Portal 2
4.6
4K votes
Battle Chess
3.6
51 votes
Pokémon Y
4.3
274 votes
Unreal Tournament
4.6
243 votes
Galaxian
4.3
66 votes
Vigilante 8
2.8
56 votes
SteamWorld Dig
3.9
206 votes
Baba is You
4.0
157 votes
Astro's Playroom
4.1
201 votes
Grow Home
3.7
104 votes
Brothers in Arms: Earned in Blood
3.6
62 votes
Black & White 2
3.7
66 votes
Galaga
3.6
108 votes
Halo Wars
3.6
138 votes
The Sims 3
4.1
548 votes
Mega Man X
4.3
256 votes
Mario Party
3.8
153 votes
Pikmin 2
4.4
97 votes
Warcraft: Orcs & Humans
3.9
143 votes
Jak and Daxter: The Precursor Legacy
4.3
271 votes
Kenshi
4.2
55 votes
Mighty No. 9
2.7
62 votes
Beyond Good & Evil
4.4
347 votes
Syphon Filter 2
4.0
74 votes
Amnesia: The Dark Descent
4.2
446 votes
Mega Man 8
3.6
82 votes
Star Wars: Republic Commando
4.1
214 votes
SteamWorld Heist
4.2
102 votes
Twisted Metal
3.7
59 votes
Mega Man X6
3.4
66 votes