Resultados de Búsqueda por Autor

1

Logic and machines : decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Münster/Westfalen /

Logic and machines : decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und...

por Borger, Egon 1946-
Publicado 1984

Libro

2

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Abstract state machines, B and Z : First International Conference, ABZ 2008, London, UK, september 16-18, 2008, proceedings /

Publicado 2008

Otros Autores: “...Borger, Egon 1946-...”
Ver documento en línea

Procedimiento de la Conferencia Libro