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 Grundlagenforschung der Universitat Münster/Westfalen /
Autor principal: | Borger, Egon 1946- (Editor/a) |
---|---|
Otros Autores: | Hasenjaeger, Gisbert (Editor/a), Rodding, Dieter 1937- (Editor/a) |
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlín :
Springer,
1984.
|
Colección: | Lecture notes in computer science / series editors Gerhard Goos, Juris Hartmanis, Jan van Leeuwen
|
Materias: |
Ejemplares similares
-
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices /
por: Czerwinski, Robert., et al.
Publicado: (2013) -
Logic machines and diagrams
por: Gardner, Martin
Publicado: (1958) -
Logik für juristen : die grundlagen der denklehre und der rechtsanwendung /
por: Schneider, Egon
Publicado: (1972) -
Designing logic systems using state machines /
por: Clare, Christopher R., et al.
Publicado: (1973) -
Wissenschaftliche zeitschrift der Universitat Rostock : Mathematisch-Naturwissenschaftliche reihe.
Publicado: (1958)