Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 326 p.
ISBN 978-0-8218-1364-5
Contemporary mathematics , 0235
Localisation : Collection 1er étage
K-théorie algébrique # MV algèbre # informatique théorique # logique des prédicats # logique mathématique # mathématique discrète # épistémologie
03-06 ; 03-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 758 p.
ISBN 978-0-444-85440-7
Colloquia mathematica societatis Janos Bolyai , 0026
Localisation : Colloque 1er étage (SALG)
logique # sémantique # informatique # syntaxe # programmation # algorithme # récursivité # langage algébrique # calcul parallèle
03-06 ; 68-06 ; 00Bxx
... Lire [+]