Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. CSL '87 | 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings | Egon Börger (u. a.) | Taschenbuch | viii | Englisch | 1988 | Springer | EAN 9783540502418 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. CSL'88 | 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings | Egon Börger (u. a.) | Taschenbuch | viii | Englisch | 1989 | Springer | EAN 9783540516590 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. CSL '89 | 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings | Egon Börger (u. a.) | Taschenbuch | viii | Englisch | 1990 | Springer | EAN 9783540527534 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Taschenbuch. Zustand: Neu. Theory and Applications of Satisfiability Testing - SAT 2008 | 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings | Hans Kleine Büning (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2008 | Springer | EAN 9783540797180 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.