Logic and machines :
proceedings of the symposium#May 23-28
Borger, E. (Editeur) ; Hasenjaeger, G. (Editeur) ; Rodding, D. (Editeur)
1984
456 p.
978-3-540-13331-5
00011691
algorithme # automate # complexité # indécidabilité # logique # machine
Ville d'édition : Berlin ; Heildelberg ; N.Y.
Pays d'édition : États-Unis
Langue : Anglais
EAN13 : 9783540133315
ISBN : 3-540-13331-3
Collation : Bibliogr. ; fig.#24 cm#broch.
Collection : Lecture notes in computer science
N° de collection : 0171
Localisation : Collection 1er étage
Nom de la rencontre : rekursive kombinatorik
Année de la rencontre : 1983
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00011691 | [disponible] |