m

F Nous contacter

0

Documents  Walter, H. K. G. | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 418 p.
ISBN 978-3-540-08138-8

Lecture notes in computer science , 0048

Localisation : Collection 1er étage

théorie des automates # combinatoire # réseau de Petri # démonstration de théorème # langage algébrique # schéma programme # arborescence # fondement des mathématiques # informatique théorique # langage # logique # programmation # théorie constructive # théorie de la preuve

00Bxx ; 68-06 ; 94-06 ; 03-06

... Lire [+]

Z