calcul algébrique # calcul symbolique # informatique théorique # logique combinatoire # logique de programmation # logique symbolique # système formel

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9789061962007

ISBN : 90-6196-200-5

Collation : 24 cm#broch. ; Bibliogr. ; Index

Collection : Mathematical centre tracts

N° de collection : 0127

Localisation : Collection 1er étage

Code ACM : F.3.1 ; I.2.3

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires