Zum Inhalt springen

  2. Schaub, Torsten [VerfasserIn]; Schaub, Torsten Hans [VerfasserIn]

    Considerations on default logics

    Bücher
    Schließen

    Merkliste

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

    1992

  3. Erdem, Esra [HerausgeberIn]; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft] ; LPNMR 10 2009 Potsdam

    Logic programming and nonmonotonic reasoning : 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 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 ; 5753

  9. Schaub, Torsten [VerfasserIn]

    The Automation of Reasoning with Incomplete Information : From Semantic Foundations to Efficient Computation

    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: Springer Berlin Heidelberg, 1998

    Erschienen in: Lecture notes in computer science ; 1409

  10. Schaub, Michèle [VerfasserIn] ; Müller, Karsten [AkademischeR BetreuerIn]; Jeinsch, Torsten [AkademischeR BetreuerIn] Universität Rostock, Universität Rostock Fakultät für Maschinenbau und Schiffstechnik

    Beitrag zur Vorhersage von Partikelemissionen aufgrund von Schiffsmanövern unter Verwendung Künstlicher Neuronaler Netze

    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.

    Rostock: Universität Rostock, 10. November 2021

  11. Schaub, Michèle [VerfasserIn] ; Müller, Karsten [Sonstige Person, Familie und Körperschaft]; Jeinsch, Torsten [Sonstige Person, Familie und Körperschaft]

    Beitrag zur Vorhersage von Partikelemissionen aufgrund von Schiffsmanövern unter Verwendung Künstlicher Neuronaler Netze

    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.

    Rostock: Universität Rostock, 2021

  13. Erdem, Esra [VerfasserIn] ; Lin, Fangzhen [Sonstige Person, Familie und Körperschaft]; Schaub, Torsten [Sonstige Person, Familie und Körperschaft]

    Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

    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: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5753

  14. Lindauer, Marius [VerfasserIn] ; Schaub, Torsten [AkademischeR BetreuerIn]; Hoos, Holger [AkademischeR BetreuerIn]

    Algorithm selection, scheduling and configuration of Boolean constraint solvers

    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.

    Potsdam: Universität Potsdam, 2015

  15. Haufe, Sebastian [VerfasserIn] ; Thielscher, Michael [AkademischeR BetreuerIn]; Schaub, Torsten [AkademischeR BetreuerIn]

    Automated Theorem Proving for General Game Playing

    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.

    Dresden: Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden; Dresden: Technische Universität Dresden, 2012

  17. Hermenegildo, Manuel [VerfasserIn]; Schaub, Torsten [VerfasserIn] ; Manuel Hermenegildo and Torsten Schaub [MitwirkendeR]

    Introduction to the Technical Communications of the 26th International Conference on Logic Programming

    Aufsätze
    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.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010

  19. Ostrowski, Max [VerfasserIn]; Schaub, Torsten H. [VerfasserIn]

    ASP modulo CSP

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    University of Potsdam: publish.UP, 2019-02-07

  20. Neubauer, Kai [VerfasserIn] ; Haubelt, Christian [AkademischeR BetreuerIn]; Schaub, Torsten [AkademischeR BetreuerIn]; Glaß, Michael [AkademischeR BetreuerIn] Universität Rostock, Universität Rostock Fakultät für Informatik und Elektrotechnik

    Model-based symbolic design space exploration at the electronic system level : a systematic approach

    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.

    Rostock: Universität, 2021