Logic and machines : 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 /

Bibliographic Details
Corporate Authors:	Symposium "Rekursive Kombinatorik" Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen, SpringerLink (Online service)
Other Authors:	Börger, E. (Egon), 1946-, Hasenjaeger, G. (Gisbert), 1919-, Rödding, D. (Dieter), 1937-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1984.
Series:	Lecture notes in computer science ; 171.
Subjects:	Machine theory > Congresses. Computational complexity > Congresses. Decision making > Congresses. fonction complexe. automate. algorithme. théorie machine. prise décision. logique combinatoire. fonction booléenne. complexité calcul. théorie récursion. combinatoire. Automates mathématiques, Théorie des > Congrès. Complexité de calcul (Informatique) > Congrès. Prise de décision > Congrès. Computational complexity. Decision making. Machine theory. Automates. Rekursivität. Kombinatorik. Kongress. Automatentheorie. Entscheidungstheorie. Electronic books. Kongress > Münster (Westfalen) > 1983. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage