Zum Inhalt springen

  1. Smullyan, Raymond M. [Verfasser:in]

    Teorija formalʹnych sistem

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Moskva: Nauka, 1981

    Erschienen in: Matematičeskaja logika i osnovanija matematiki

  5. Andréka, Hajnal [Verfasser:in] ; Givant, Steven R. [Sonstige Person, Familie und Körperschaft]; Nemeti, Istvan [Sonstige Person, Familie und Körperschaft]

    Decision problems for equational theories of relation algebras

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Providence, RI: American Mathematical Society, 1997

    Erschienen in: American Mathematical Society: Memoirs of the American Mathematical Society ; 604

  12. Börger, Egon [Verfasser:in] ; Grädel, Erich [Sonstige Person, Familie und Körperschaft]; Gurevič, Jurij [Sonstige Person, Familie und Körperschaft]; Gurevich, Yuri [Sonstige Person, Familie und Körperschaft]

    The classical decision problem

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

    Erschienen in: Perspectives in mathematical logic

  13. Boone, William [Sonstige Person, Familie und Körperschaft] ; Conference Decision Problems in Group Theory 1969 Irvine, Calif

    Word problems / [1], Decision problems and the Burnside problem in group theory : Conference 'Decision Problems in Group Theory', held at the Univ. of Calif., Irivine, Sept. 1969 / ed. by W. W. Boone

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam: North-Holland Publ. Comp., 1973

    Erschienen in: Word problems ; [1] - Studies in logic and the foundations of mathematics ; 71

  15. Pontow, Stephan [Verfasser:in] ; Meyer, Wolfgang [Sonstige Person, Familie und Körperschaft]; Lunze, Jan [Sonstige Person, Familie und Körperschaft] Technische Universität Hamburg-Harburg Arbeitsbereich für Prozessautomatisierungstechnik

    Theorie und Anwendung constraintbasierter Planungsverfahren - [Als Ms. gedr.]

    Bücher
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Aachen: Shaker, 2000

    Erschienen in: Berichte aus der Informatik