The Gallery
Computation
Moshe Y. Vardi
Dov Gabbay
Gualtiero Piccinini
1
