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

Person

116 Treffer

Sortierung: 
  1. Detailansicht für Treffer 21 öffnen
    Automated deduction: proceedings
    CADE-19, 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 - August 2, 2003. Franz Baader (ed.)
    Berlin [u.a.]: Springer, 2003
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 22 öffnen
    Automated deduction: proceedings
    CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17 - 20, 2000. David McAllester (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 23 öffnen
    Theorem provers in circuit design: theory, practice and experience ; proceedings
    Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Ramayya Kumar ... (ed.)
    Berlin [u.a.]: Springer, 1995
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 24 öffnen
    Automated deduction: proceedings
    CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Alan Bundy (ed.)
    Berlin [u.a.]: Springer, 1994
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 25 öffnen
    Automated deduction: proceedings
    CADE-16, 16th International Conference on Automated Deduction, Trento, Italy, July 7 - 10, 1999. Harald Ganzinger (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 26 öffnen
    Automated reasoning with analytic tableaux and related methods: international conference, Tableaux '97, Pont-á-Mousson, France, May 13 - 16, 1997 ; proceedings
    [International Conference Tableaux]. Didier Galmiche (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 27 öffnen
    Automated reasoning with analytic tableaux and related methods: proceedings
    International Conference Tableaux '98, Oisterwijk, The Netherlands, May 5 - 8, 1998. Harrie de Swart (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 28 öffnen
    Mechanical theorem proving in geometries: basic principles
    Wen-tsün Wu
    Wien [u.a.]: Springer, 1994
    Monographie, Gedruckte Ressource
  9. Detailansicht für Treffer 29 öffnen
    Automated reasoning with analytic tableaux and related methods: international conference ; proceedings
    TABLEAUX 2000, St Andrews, Scotland, UK, July 3 - 7, 2000. Roy Dyckhoff (ed.)
    Berlin [u.a.]: Springer, 2000
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 30 öffnen
    Theorem proving in higher order logics: 12th international conference ; proceedings
    TPHOLs '99, Nice, France, September 14 - 17, 1999. Yves Bertot ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 31 öffnen
    Theorem proving in higher order logics: 11th international conference ; proceedings
    TPHOLs '98, Canberra, Australia, September 27 - October 1, 1998. Jim Grundy ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 32 öffnen
    Automation of reasoning
    ed. by Jörg Siekmann ..
    Berlin [u.a.]: Springer, 1983-
    Schriftenreihe, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 33 öffnen
    Automated deduction: proceedings
    CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27 - 30, 2002. Andrei Voronkov (ed.)
    Berlin [u.a.]: Springer, 2002
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 34 öffnen
    Canonical equational proofs
    Leo Bachmair
    Boston [u.a.]: Birkhäuser, 1991
    Monographie, Gedruckte Ressource
  15. Detailansicht für Treffer 35 öffnen
    Principles of automated theorem proving
    David A. Duffy
    Chichester [u.a.]: Wiley, 1991
    Monographie, Gedruckte Ressource
  16. Detailansicht für Treffer 36 öffnen
    Eine feinkörnige Sortendisziplin und ihre Anwendung in der Programmkonstruktion
    Jochen Burghardt
    München [u.a.]: Oldenbourg, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  17. Detailansicht für Treffer 37 öffnen
    Term indexing
    Peter Graf
    Berlin [u.a.]: Springer, 1995
    Monographie, Hochschulschrift, Gedruckte Ressource
  18. Detailansicht für Treffer 38 öffnen
    Automated theorem proving
    Bibel, Wolfgang
    2., rev. ed.. - Braunschweig [u.a.]: Vieweg, 1987
    Monographie, Gedruckte Ressource
  19. Detailansicht für Treffer 39 öffnen
    Automated deduction: proceedings
    CADE 11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15 - 18, 1992. D. Kapur (ed.)
    Berlin [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 40 öffnen
    Non-standard logics for automated reasoning
    ed. by Philippe Smets ..
    London [u.a.]: Acad. Pr, 1988
    Konferenzschrift, Aufsatzsammlung, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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