Robert Pollack
- Auteur
Boeken van Robert Pollack
Robert Pollack
De Taak
De Taak van Robert Pollack is een spectaculaire politieke thriller over macht, chantage en geheimen, geïnspireerd door de grootste Russische overheidsfraude uit de geschiedenis: de Magnitsky-zaak.
Meer
Paul Callaghan
Zhaohui Luo
James McKinna
Robert Pollack
Types for Proofs and Programs
This book contains a selection of papers presented at the ?rst annual workshop of the TYPES Working Group (Computer-Assisted Reasoning Based on Type Theory, EU IST project 29001), which was held 8th – 12th of December, 2000 at the University of Durham, Durham, UK.
Meer
