Search results

Records found: 10  
Your query: Author Sysno/Doc.kind = "^upol_us_auth 0005879 amg^"
  1. The automation of reasoning with incomplete information : from semantic foundations to efficient computation / Torsten Schaub.    Berlin ; Heidelberg ; New York, N.Y. :  Springer,  c1997 . xi, 159 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    The automation of reasoning with incomplete information

    book

  2. Conceptual structures : broadening the base : 9th Intenational Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July, 30 August 3, 2001 : proceedings / Harry S. Delugach, Gerd Stumme (eds.).    Berlin ; Heidelberg ; New York :  Springer,  2001 . x, 376 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Conceptual structures

    book

  3. Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 : proceedings / [eds.] Bernhard Ganter, Guy W. Mineau.    Berlin ; Heidelberg ; New York :  Springer,  2000c . xi, 568 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Conceptual structures

    book

  4. Formal concept analysis : foundations and applications / Bernhard Ganter, Gerd Stumme, Rudolf Wille (eds.).    Berlin :  Springer,  c2005 . x, 349 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100200
    Formal concept analysis

    book

  5. Logic programming and automated reasoning : 5th international conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / editor Frank Pfenning.    Berlin :  Springer,  1994 . X, 344 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Logic programming and automated reasoning

    book

  6. Pattern detection and discovery : ESF exploratory workshop, London, UK, September 16-19, 2002 : proceedings / David J. Hand, Niall M. Adams, Richard J. Bolton (eds.).    Berlin :  Springer,  2002 . xii, 226 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Pattern detection and discovery

    book

  7. Principles of data mining and knowledge discovery : 6th European conference, PKDD 2002, Helsinki, Finland, August 19-23, 2002 : proceedings / [eds.] Tapio Elomaa, Heikki Mannila, Hannu Toivonen.    Heidelberg ; Berlin ; New York :  Springer,  2002c . xiv, 514 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Principles of data mining and knowledge discovery

    book

  8. Principles of data mining and knowledge discovery : second European symposium, PKDD '98, Nantes, France, September 23-26, 1998 : proceedings / Jan M. Żytkow, Mohamed Quafafou (Eds.).    Heidelberg ; Berlin ; New York :  Springer,  1998 . xi, 482 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Principles of data mining and knowledge discovery

    book

  9. Principles of data mining and knowledge discovery : third European Conference, PKDD '99, Prague, Czech Republic, September 15-18, 1999 : proceedings / editors Jan M. Żytkow, Jan Rauch.    New York ; Berlin ; Heidelberg :  Springer Verlag,  c1999 . xiv, 593 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Principles of data mining and knowledge discovery

    book

  10. Spatial cognition : an interdisciplinary approach to representing and processing spatial knowledge / Christian Freksa, Christopher Habel, Karl F. Wender (Eds.).    Berlin :  Springer,  c1998 . viii, 489 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    book

    book



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.