Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

13 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada, 10 - 14 September 1990
    Graham Birtwistle (ed.)
    London [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Resolution proof systems: an algebraic theory
    by Zbigniew Stachniak
    Dordrecht [u.a.]: Kluwer Academic, 1996
    Monographie, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Automated development of fundamental mathematical theories
    by Art Quaife
    Dordrecht [u.a.]: Kluwer, 1992
    Monographie, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    AI and expertise: heuristic search, inference engines, automatic proving
    Farreny, Henri
    Chichester: Ellis Horwood [u.a.], 1989
    Monographie, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Automated deduction: proceedings
    CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5 - 10, 1998. Claude Kirchner ... (ed.)
    Berlin [u.a.]: Springer, 1998
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Automatische Synthese rekursiver Programme als Beweisverfahren
    Susanne Biundo
    Berlin [u.a.]: Springer, 1992
    Monographie, Hochschulschrift, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Automated deduction: proceedings
    CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997. William McCune (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Theorem provers in circuit design: proceedings of the IFIP TC 10 WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22 - 24 June 1992
    ed. by V. Stavridou ..
    Amsterdam [u.a.]: North-Holland, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Higher order logic and hardware verification
    T. Melham
    Cambridge [u.a.]: Cambridge Univ. Press, 1993
    Monographie, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    Logic for computer science: foundations of automatic theorem proving
    Gallier, Jean H. (1949-)
    New York [u.a.]: Harper & Row, 1986
    Monographie, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Formal methods in artificial intelligence
    Allan Ramsay
    Cambridge [u.a.]: Cambridge Univ. Press, 1988
    Monographie, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Parallele Suche mit randomisiertem Wettbewerb in Inferenzsystemen
    von Wolfgang Ertel
    St. Augustin: Infix, 1993
    Monographie, Hochschulschrift, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Theorem Proving and its Applications - HOL '92, organized by CHEOPS ESPRIT BRA 3215 sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21 - 24 September 1992
    ed. by Luc J. M. Claesen ..
    Amsterdam [u.a.]: North-Holland, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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