texte imprimé

Logique et fondements de l'informatique : logique du 1er ordre, calculabilité et lambda-calcul

Richard Lassaigne, Auteur ; Michel De Rougemont, Auteur | Paris : Hermes Science Publications | 1993

Cet ouvrage présente les principaux domaines de la logique qui contribuent aux fondements de l'informatique. Il est issu de plusieurs enseignements en mathématiques et informatique.

Plus d'information...

Ajouter un tag

Réserver

Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200