Zum Inhalt springen

  1. Smullyan, Raymond M. [VerfasserIn]

    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 [VerfasserIn] ; 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
    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

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

    The classical decision problem - [2. printing of the 1. ed.]

    Bücher
    Schließen

    Merkliste

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

    Berlin [u.a.]: Springer, 2001

    Erschienen in: Universitext

  12. Börger, Egon [VerfasserIn] ; 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
    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 [VerfasserIn] ; 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