m

Documents  Critères de recherche : "Mathematical logic in computer science" | enregistrements trouvés : 2

O
     

-A +A

P Q

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 [+]

Z