Telecharger Cours

Séminaire Bourbaki

This text explains how to use mathematical models and methods to analyze prob- lems that arise in computer science. Proofs play a central role in this work ...



Download