Cover Image

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
Description
Item Description:Electronic resource.
Physical Description:1 online resource (vi, 456 pages) : illustrations.
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references.
ISBN:9783540388562
3540388567