Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Symposium "Rekursive Kombinatorik" (1983 ; Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen)  Voir les notices liées en tant qu'auteur

Titre(s) : Logic and machines [Texte électronique] : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universität Münster/Westfalen / edited by E. Börger, G. Hasenjaeger, and D. Rödding

Publication : Berlin ; New York : Springer-Verlag, 1984

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 171

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Börger, Egon (1946-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Hasenjaeger, Gisbert (1919-2006). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Rödding, Dieter (1937-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Symposium "Rekursive Kombinatorik" (Institut für Mathematische Logik und Grundlagenforschung der Universität Münster, Westfalen1983 ; Institut für Mathematische Logik und Grundlagenforschung der Universität Münster, Westfalen1983). Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Automates  Voir les notices liées en tant que sujet
Logique combinatoire  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511 (23e éd.) = Principes généraux des mathématiques  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540388562

Identifiant de la notice  : ark:/12148/cb44688997b

Notice n° :  FRBNF44688997 (notice reprise d'un réservoir extérieur)