Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
50 Treffer

Suchmaske

Suchtipp für den Bereich UB Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Zugang

Literaturtyp

Schlagwort

Form

Person

50 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Knowledge exploration in life science informatics: proceedings
    International Symposium KELSI 2004, Milan, Italy, November 25 - 26, 2004. Jesús A. López ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
    Zugriff:
    Inhaltsverzeichnis; Volltext nur bei Lizensierung
  2. Detailansicht für Treffer 2 öffnen
    Logics in artificial intelligence: 9th European conference ; proceedings
    JELIA 2004, Lisbon, Portugal, September 27 - 30, 2004. José Júlio Alferes ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Logics in artificial intelligence: 10th European Conference, JELIA 2006, Liverpool, UK, September 13 - 15, 2006 ; proceedings
    Michael Fisher ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Artificial immune systems: 5th international conference ; proceedings
    ICARIS 2006, Oeiras, Portugal, September 4 - 6, 2006. Hugues Bersini ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Current topics in artificial intelligence: revised selected papers
    10th conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and 5th Conference on Technology Transfer, TTIA 2003, San Sebastian, Spain, November 12 - 14, 2003. Ricardo Conejo ... (eds.)
    Berlin [u.a.]: Springer, 2004
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Current topics in artificial intelligence: revised selected papers
    11th conference of the Spanish Association for Artificial Intelligence, CAEPIA 2005, Santiago de Compostela, Spain, November 16 - 18, 2005. Roque Marín ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Qualitative and quantitative practical reasoning: proceedings
    First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR '97, Bad Honnef, Germany, June 9 - 12, 1997. Dov M. Gabbay ... (eds.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Using sophisticated models in resolution theorem proving
    David M. Sandford
    Berlin [u.a.]: Springer, 1980
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Logics in AI: proceedings
    European Workshop JELIA '90, Amsterdam, The Netherlands, September 10 - 14, 1990. J. van Eijck (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    The logic of theory change: workshop, Konstanz, FRG, October 13 - 15, 1989 ; proceedings
    A. Fuhrmann ... (ed.)
    Berlin [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Advances in artificial intelligence: proceedings
    MICAI 2005, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14 - 18, 2005. Alexander Gelbukh ... (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Logical foundations of artificial intelligence
    Michael R. Genesereth and Nils J. Nilsson
    Reprinted with corr., 2. [Dr.]. - Palo Alto, Calif.: Kaufmann, 1988
    Monographie, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Artificial immune systems: 4th international conference ; proceedings
    ICARIS 2005, Banff, Alberta, Canada, August 14 - 17, 2005. Christian Jacob ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Advances in Artificial Intelligence: proceedings
    MICAI 2006, 5th Mexican International Conference on Artificial Intelligence Apizaco, Mexico, November 13 - 17, 2006. Alexander Gelbukh ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Artificial intelligence and soft computing: 8th international conference ; proceedings
    ICAISC 2006, Zakopane, Poland, June 25 - 29, 2006. Leszek Rutkowski ... (eds.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Logics in artificial intelligence: proceedings
    European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996. José Júlio Alferes ... (ed.)
    Berlin [u.a.]: Springer, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Trends, techniques, and problems in theoretical computer science: selected contributions
    4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13 - 17, 1986. Alica Kelemenová ... (ed.)
    Berlin [u.a.]: Springer, 1987
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Logics in artificial intelligence: European workshop ; proceedings
    JELIA 2000, Málaga, Spain, September 29 - October 2, 2000. Manuel Ojeda-Aciego ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    Artificial intelligence: methodology, systems, and applications ; 9th international conference ; proceedings
    AIMSA 2000, Varna, Bulgaria, September 20 - 23, 2000. Stefano A. Cerri ... (eds.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Logical foundations of artificial intelligence
    Michael R. Genesereth and Nils J. Nilsson
    Los Altos, Calif.: Morgan Kaufmann, 1987
    Monographie, Gedruckte Ressource

Artikel & mehr

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -