Zum Inhalt springen

  1. Socher, Rolf [Verfasser:in]; Johann, Patricia [Verfasser:in]

    Deduction systems

    Bücher
    Online ansehen
    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, c 1997

    Erschienen in: Graduate texts in computer science

  2. Geske, Ulrich [Sonstige Person, Familie und Körperschaft] ; International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen, GMD-Forschungszentrum Informationstechnik, International Conference on Logic Programming 14 1997 Löwen

    Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming : workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997

    Erschienen in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 317

  3. Möller, Bernhard [Herausgeber:in] ; Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Basic Research Action 8533

    Prospects for hardware foundations

    Bücher
    Online ansehen
    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, 1998

    Erschienen in: Lecture notes in computer science ; 1546

  4. Konev, Boris [Herausgeber:in]; Wolter, Frank [Sonstige Person, Familie und Körperschaft] ; FroCoS 6 2007 Liverpool

    Frontiers of combining systems : 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 ; proceedings

    Bücher
    Online ansehen
    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, 2007

    Erschienen in: Lecture notes in computer science ; 4720

  5. Broy, Manfred [Herausgeber:in] ; NATO Division of Scientific Affairs, Advanced Study Institute on Deductive Program Design 1994 Marktoberdorf

    Deductive program design : [proceedings of the NATO Advanced Study Institute on Deductive Program Design, held in Marktoberdorf, Germany, July 26 - August 7, 1994]

    Bücher
    Online ansehen
    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, 1996

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

  6. Möller, Bernhard [Verfasser:in] ; Tucker, John V. [Sonstige Person, Familie und Körperschaft]

    Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1546

  7. Martin-Löf, Per [Verfasser:in] ; Mints, Grigori [Sonstige Person, Familie und Körperschaft]

    COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1990

    Erschienen in: Lecture notes in computer science ; 417