Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog
116 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

Sprache

Form

Person

116 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Resolution proof systems: an algebraic theory
    by Zbigniew Stachniak
    Dordrecht [u.a.]: Kluwer Academic, 1996
    Monographie, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Logics in artificial intelligence: European workshop ; proceedings
    JELIA '98, Dagstuhl, Germany, October 12 - 15, 1998 / Jürgen Dix ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Types for proofs and programs: selected papers
    International Workshop TYPES '96, Aussois, France, December 15 - 19, 1996. Eduardo Giménez ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Logic for programming, artificial intelligence, and reasoning: 10th international conference ; proceedings
    LPAR 2003, Almaty, Kazakhstan, September 22 - 26, 2003. Moshe Y. Vardi ... (eds.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Proof theory in computer science: international seminar ; proceedings
    PTCS 2001, Dagstuhl Castle, Germany, October 7 - 12, 2001. Reinhard Kahle ... (ed.)
    Berlin [u.a.]: Springer, 2001
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    The seventeen provers of the world
    Freek Wiedijk (ed.)
    Berlin [u.a.]: Springer, 2006
    Verzeichnis, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Logic programming and automated reasoning: proceedings
    4th International Conference, LPAR '93, St. Petersburg, Russia, July 13 - 20, 1993. Andrei Voronkov (ed.)
    Berlin [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Equality reasoning based on graphs
    von Karl Hans Bläsius
    1986
    Monographie, Hochschulschrift, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Logic for programming and automated reasoning: 6th international conference ; proceedings
    LPAR '99, Tbilisi, Georgia, September 6 - 10, 1999. Harald Ganzinger ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 30 öffnen
    Automated theorem proving: a logical basis
    Donald W. Loveland
    Amsterdam [u.a.]: North-Holland Publ. Co, 1978
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Vergleichende Analyse von Inferenzsystemen
    Roland Dietrich
    München [u.a.]: Oldenbourg, 1990
    Monographie, Hochschulschrift, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Artificial intelligence, automated reasoning, and symbolic computation: proceedings
    joint international conferences AISC 2002 and Calculemus 2002, Marseille, France, July 1 - 5, 2002. Jacques Calmet ... (ed.)
    Berlin, Heidelberg, New York, Barcelona, Hong Kong, London, Milan, Paris, Tokyo: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Proceedings / COLOG '88, International Conference on Computer Logic, Tallinn, USSR, December 12 - 16, 1988
    P. Martin-Löf ... (ed.)
    Berlin [u.a.]: Springer, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Automated development of fundamental mathematical theories
    by Art Quaife
    Dordrecht [u.a.]: Kluwer, 1992
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Artificial intelligence and symbolic computation: 8th international conference ; proceedings
    AISC 2006, Beijing, China, September 20 - 22, 2006. Jacques Calmet ... (ed.)
    Berlin [u.a.]: Springer, 2006
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Frontiers of combining systems: 4th international workshop ; proceedings
    FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002. Alessandro Armando (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    AI and expertise: heuristic search, inference engines, automatic proving
    Farreny, Henri
    Chichester: Ellis Horwood [u.a.], 1989
    Monographie, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Logic of computation: [proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25 - August 6, 1995]
    ed. by Helmut Schwichtenberg. Publ. in cooperation with NATO Scientific Affairs Division
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Mechanizing mathematical reasoning: essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday
    Dieter Hutter ... (eds.)
    Berlin [u.a.]: Springer, 2005
    Festschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Automated deduction: proceedings
    CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22 - 27, 2005. Robert Nieuwenhuis (ed.)
    Berlin [u.a.]: Springer, 2005
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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