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

Langages algébriques:
actes des premières journées d'informatique théorique
Bonascre # 1973
Crestin, Jean-Pierre ; Nivat, Maurice | Ecole Nationale Supérieure de Techniques Avancées 1978

Congrès

V

- 281 p.
ISBN 978-2-7225-0424-0

Localisation : Colloque RdC (BONA)

automate # langage formel # langage algébrique # informatique théorique

00Bxx ; 68Q45 ; 68-06

... Lire [+]

Filtrer

Type
Domaine
Codes MSC

Ressources Electroniques

Books & Print journals

Recherche avancée


0
Z
tm?idlist=1&record=19297464124910156469">... Lire [+]

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

Mathematical foudations of computer science 1998 :
proceding of the 13th symposium on ...#Aug. 29 - Sept. 2
Chytil, M. P. ; Janiga, L. ; Koubec, V. | Springer-Verlag 1988

Congrès

V

- 562 p.
ISBN 978-3-540-50110-7

Lecture notes in computer science , 0324

Localisation : Collection 1er étage

caractéristique sémantique # construction de langage # langage de programmation # langage formel # logique de programmation # logique mathématiques # mathématiques discrètes # théorie des graphes

68N15 ; 68N17 ; 68Q35 ; 68Q45 ; 68R10 ; 68Rxx

... Lire [+]

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

Logics of programs :
workshop held at the ibm thomas j. watson research center in yorktown heights#May 4-6
Kozen, Dexter | Springer-Verlag 1982

Congrès

V

- 429 p.
ISBN 978-3-540-11212-9

Lecture notes in computer science , 0131

Localisation : Collection 1er étage

logique de programmation # logique mathématiques # programme

68Q45 ; 68Q55 ; 68S10 ; 68SXX

... Lire [+]

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

Logics of programs :
proceedings of a conference on... held at brooklyn coolege#June 17-19
Parikh, Rohit | Springer-Verlag 1985

Congrès

V

- 424 p.
ISBN 978-3-540-15648-2

Lecture notes in computer science , 0193

Localisation : Collection 1er étage

construction de langage # langage de programmation # langage formel # programmation logique # structure de langage # vérification de programme

68N05 ; 68N15 ; 68N17 ; 68Q45 ; 68Q60

... Lire [+]

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

Logic programming
first international workshop on... held in debrecen,hungary,1980
Clark, K. L. ; Tarnlund, S. A. | Academic Press 1982

Congrès

V


ISBN 978-0-12-175520-1

A.p.i.c. studies in data proceeding , 0016

Localisation : Colloque RdC (DEBR)

68DXX ; 68F10 ; 68Q45 ; 68SXX ; 68T15

... Lire [+]

height=700,toolbar=no,scrollbars=yes")'>Signaler une erreur

1