Zum Inhalt springen

  2. Char, Bruce W. [Sonstige Person, Familie und Körperschaft]

    Maple V

    Bücher
    Schließen

    Merkliste

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

    New York; Heidelberg [u.a.]: Springer, 1991-

  4. Grossman, Robert [HerausgeberIn] ; Workshop on the Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering 1987 Moffett Field, Calif

    Symbolic computation : applications to scientific computing ; [the outgrowth of talks at the NASA-Ames Workshop on the Use of Symbolic Methods to Solve Algebraic and Geometric Problems Arising in Engineering, which took place on January 15 and 16, 1987, at the NASA-Ames Research Center in Moffett Field, California]

    Bücher
    Schließen

    Merkliste

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

    Philadelphia: Soc. for Industrial and Applied Mathematics, 1989

    Erschienen in: Frontiers in applied mathematics ; 5

  5. Anderson, C. Anthony [Sonstige Person, Familie und Körperschaft]; Church, Alonzo [GefeierteR]; Zele͏̈ny, Michael [Sonstige Person, Familie und Körperschaft]; Anderson, Curtis Anthony [HerausgeberIn]

    Logic, meaning, and computation : essays in memory of Alonzo Church

    Bücher
    Schließen

    Merkliste

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

    Dordrecht [u.a.]: Kluwer Academic Publishers, 2001

    Erschienen in: Synthese <Dordrecht> / Library ; 30500

  7. Schwichtenberg, Helmut [HerausgeberIn] ; Advanced Study Institute on Logic of Computation 1995 Marktoberdorf

    Logic of computation : [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]

    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: NATO: NATO ASI series / F ; 157

  8. Schwichtenberg, Helmut [HerausgeberIn] ; Advanced Study Institute on Proof and Computation 1993 Marktoberdorf

    Proof and computation : [proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993]

    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 [u.a.]: Springer, 1995

    Erschienen in: NATO: NATO ASI series / F ; 139

  10. Lalement, René [VerfasserIn] ; Plaice, John [Sonstige Person, Familie und Körperschaft]

    Computation as logic

    Bücher
    Schließen

    Merkliste

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

    Paris: Masson [u.a.], 1993

    Erschienen in: Prentice Hall international series in computer science

  14. Manna, Zohar [VerfasserIn]

    Mathematical theory of computation

    Bücher
    Schließen

    Merkliste

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

    New York, NY [u.a.]: McGraw-Hill, 1974

    Erschienen in: McGraw-Hill computer science series

  16. Ono, Hiroakira [HerausgeberIn]; Kanazawa, Makoto [Sonstige Person, Familie und Körperschaft]; de Queiroz, Rui [Sonstige Person, Familie und Körperschaft] ; WoLLIC 16 2009 Tokio

    Logic, language, information and computation : 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 ; proceedings

    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 [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5514

  19. Calmet, Jacques [HerausgeberIn] ; AISC 6 2002 Marseille, Calculemus 10 2002 Marseille

    Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002 ; proceedings

    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 [u.a.]: Springer, 2002

    Erschienen in: Lecture notes in computer science ; 2385