m

F Nous contacter

0

Documents  Critères de recherche : "Computer programming and formal systems" | enregistrements trouvés : 1

O
     

-A +A

P Q

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

- 160 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (Comp)

analyse d'inférence # déduction # heuris tique # informatique théorique # mathématique mécanique # mécanisation de la théorie des équations # méthode de la preuve # programmation informatique # système formel # théorie algébrique des langages à contexte libre # théorie des automates

03D05 ; 03Fxx ; 68Q45 ; 68Q68 ; 68Qxx

... Lire [+]

Z