|
|
|
1. |
Logic and machines : decision problems and complexity : proceedings of the Symposiium Rekursive Kombinatorik held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frudlagenforschung der Universitat Munster-Westfalen /
Publication:
Berlin : Springer-Verlag, 1984
. VI, 456 p. :
25 cm.
Date:1984
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
2. |
Logic, algebra and computation : International Summer School directed by F. L. Bauer ... [et al.] /
Publication:
Berlin : Springer Verlag, 1991
. VI, 485 p. ;
25 cm.
Date:1991
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
3. |
Fundamentals of computation theory : proceedings International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 /
Publication:
New York : Springer-Verlag, 1989
. XI, 493 p. :
25 cm.
Date:1989
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
4. |
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977 /
Publication:
Berlin : Springer Verlag, 1977
. 542 p. ;
24 cm.
Date:1977
Availability:
No items available:
Checked out (1),
Actions:
|
|
|
5. |
Komplexitat von Entscheidungsproblemen : ein seminar /
by Specker, Ernst
Publication:
Berlin ; New York : Springer-Verlag, 1976
. 217 p. :
25 cm.
Date:1976
Availability:
No items available:
Checked out (1),
Actions:
|
|
