arithmétique # arithmétique bornée # calcul symbolique # complexité du calcul informatique # mathématique discrète # théorie de la preuve

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

EAN13 : 9780198536901

ISBN : 0-19-853690-9

Collation : 24 cm ; Bibliogr. ; rel.

Collection : Oxford logic guides

N° de collection : 0023

Localisation : Ouvrage RdC (Arit)

Type d'ouvrage : Anonyme

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires