m

Documents  18B20 | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 595 p.
ISBN 978-3-540-08353-5

Lecture notes in computer science , 0053

Localisation : Collection 1er étage

automate # intelligence artificielle # langage formel # logique # logique mathématique # machine de turing # programmation # programme # théorie des langages # théorie des machines

03F99 ; 03Fxx ; 03Dxx ; 18B20

... Lire [+]

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

- 403 p.
ISBN 978-0-8176-3654-8

Progress in theoretical computer science

Localisation : Ouvrage RdC (CURI)

algorithme # algorithme de séquence # combinatoire catégorique # environnement machine # informatique théorique # langage fonctionnel # logique combinatoire catégorique # logique linéaire # logique mathématique # programmation combinatoire pleine PCF # programmation fonctionnelle # sémantique

18B20 ; 68Q20 ; 68Q55 ; 68Qxx ; 68R15

... Lire [+]

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

- 337 p.

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KOBR)

automate finie # estimation asymptotique # logique # noeud logique # opérateur

03D05 ; 03Gxx ; 18B20 ; 20F10

... Lire [+]

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

- 10 p.
ISBN

Publication de l'Institut de Recherche Mathématique Avancée

Localisation : Salle de manutention

algorithme linéaire séquentiel # circuit linéaire # transformation linéaire # complexité en taille # complexité en profondeur # mode standard # mincing rank

18B20 ; 20M35 ; 68C05 ; 68C25

... Lire [+]

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

- 26 p.
ISBN

Publication de l'Institut de Recherche Mathématique Avancée

Localisation : Salle de manutention

linear circuit # linear transform # size-circuits complexity # depth-circuits complexity # standard operation mode # standard matrix representation # representations plurality # circuit monoid # injection mode # ejection mode # mincing mode # mincing complexity # mincing rank

15A03 ; 15A04 ; 18B20 ; 20M35 ; 68C05 ; 68C25

... Lire [+]

Z