m

Documents  68C20 | enregistrements trouvés : 5

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-7-80003-196-0

Localisation : Colloque 1er étage (BEIJ)

algebre de l'informatique # calcul symbolique # raisonnement automatise # theorie de la preuve

68C20 ; 68Txx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-3-540-50478-8

Lecture notes in mathematics , 1355

Localisation : Collection 1er étage

geometrie de l'informatique # image de synthese

05B35 ; 14M15 ; 51A20 ; 52A25 ; 68C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 488 p.
ISBN 978-0-12-237080-9

Localisation : Ouvrage RdC (ELLI)

analyse de Fourier # théorie générale # information # communication

42C10 ; 68C05 ; 68C20 ; 68C25

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 476 p.
ISBN 978-0-946536-00-9

Localisation : Ouvrage RdC (GOLU)

68C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 317 p.
ISBN 978-90-6196-200-7

Mathematical centre tracts , 0127

Localisation : Collection 1er étage

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

03B40 ; 68C01 ; 68C20

... Lire [+]

Z