Zum Inhalt springen

  1. Pfalzgraf, Jochen [HerausgeberIn]; Wang, Dongming [Sonstige Person, Familie und Körperschaft]

    Automated practical reasoning : algebraic approaches

    Bücher
    Schließen

    Merkliste

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

    Wien [u.a.]: Springer-Verl., 1995

    Erschienen in: Texts and monographs in symbolic computation

  2. Robinson, Alan [HerausgeberIn]

    Handbook of automated reasoning

    Bücher
    Schließen

    Merkliste

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

    Amsterdam [u.a.]: North Holland [u.a.], 20XX-

  3. Paliuras, Geōrgios [Sonstige Person, Familie und Körperschaft]; Spyropoulos, Constantine D. [Sonstige Person, Familie und Körperschaft]; Tsatsaronis, George [Sonstige Person, Familie und Körperschaft]; Paliouras, Georgios [HerausgeberIn]

    Knowledge-driven multimedia information extraction and ontology evolution : bridging the semantic gap

    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, 2011

    Erschienen in: Lecture notes in computer science ; 6050

  5. Thrun, Sebastian [VerfasserIn]; Burgard, Wolfram [VerfasserIn]; Fox, Dieter [VerfasserIn]

    Probabilistic robotics

    Bücher
    Schließen

    Merkliste

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

    Cambridge; London: The MIT Press, [2006]

    Erschienen in: Intelligent robotics and autonomous agents series

  6. Thrun, Sebastian [VerfasserIn]; Burgard, Wolfram [VerfasserIn]; Fox, Dieter [VerfasserIn]

    Probabilistic robotics

    Bücher
    Schließen

    Merkliste

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

    Cambridge, Mass.; London: MIT Press, 2005

    Erschienen in: Intelligent robotics and autonomous agents

  9. Costa, Paulo Cesar G. da [HerausgeberIn] ; ISWC 4 2005 - 6, 2007, URSW 1-3 2005-2007

    Uncertainty reasoning for the semantic web / 1, ISWC International Workshops, URSW 2005 - 2007 : revised selected and invited papers / Paulo Cesar G. da Costa ... (eds.)

    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, 2008

    Erschienen in: Uncertainty reasoning for the semantic web ; 1 - Lecture notes in computer science ; 5327

  10. Uncertainty reasoning for the semantic web

    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, NY: Springer, 20XX-

    Erschienen in: Lecture notes in computer science ; . ; Lecture notes in artificial intelligence

  12. Sempere, José M. [HerausgeberIn]; García, Pedro [Sonstige Person, Familie und Körperschaft] ; International Colloquium on Grammatical Inference 10. 2010 Valencia

    Grammatical inference: theoretical results and applications : 10th international colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010 ; 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, 2010

    Erschienen in: Lecture notes in computer science ; 6339

  13. Clark, Alexander [HerausgeberIn]; Coste, François [Sonstige Person, Familie und Körperschaft]; Miclet, Laurent [Sonstige Person, Familie und Körperschaft] ; ICGI 9 2008 Saint-Malo

    Grammatical inference: algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 ; 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, 2008

    Erschienen in: Lecture notes in computer science ; 5278