Introduction à la Géométrie Algébrique. Le langage des schémas ...

Applications: spécification vérification, calculs de processus, linguistique ... intuitionniste (par ex. facettes indissociables: livre objet/contenu). Premier ordre:  ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A