Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

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

89 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Inductive logic programming
    ed. by Stephen Muggleton
    London [u.a.]: Acad. Press, 1992
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  2. Detailansicht für Treffer 2 öffnen
    Computer aided proofs in analysis
    Kenneth R. Meyer ... (ed.)
    New York [u.a.]: Springer, 1991
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  3. Detailansicht für Treffer 3 öffnen
    Abductive inference: computation, philosophy, technology
    ed. by John R. Josephson ..
    Cambridge [u.a.]: Cambridge Univ. Press, 1994
    Sammelwerk, Gedruckte Ressource
  4. Detailansicht für Treffer 4 öffnen
    Constructive methods in computing science: [proceedings of the NATO Advanced Study Institute on Constructive Methods in Computing Science held at Marktoberdorf, Federal Republic of Germany, July 24 - August 5, 1988]
    International Summer School directed by ... Ed. by Manfred Broy
    Berlin [u.a.]: Springer, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  5. Detailansicht für Treffer 5 öffnen
    Combinatorics, computing and complexity
    ed. by Du Dingzhu ..
    Beijing: Science Pr. [u.a.], 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  6. Detailansicht für Treffer 6 öffnen
    Artificial intelligence, expert systems and symbolic computing: selected and revised papers from the IMACS 13th World Congress [on Computation and Applied Mathematics], Dublin, Ireland, July 1991
    ed. by Elias N. Houstis ..
    Amsterdam [u.a.]: North-Holland, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  7. Detailansicht für Treffer 7 öffnen
    Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14 - 17, 1996, Princeton University
    [DIMACS Workshop on Descriptive Complexity and Finite Models]. Neil Immerman ... ed
    Providence, RI: American Mathematical Society, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  8. Detailansicht für Treffer 8 öffnen
    Computational aspects of commutative algebra
    ed. by Lorenzo Robbiano
    New York [u.a.]: Academic Pr, 1989
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  9. Detailansicht für Treffer 9 öffnen
    Proceedings of the Fifth Annual Conference on Evolutionary Programming
    ed. by Lawrence J. Fogel ..
    Cambridge, Mass [u.a.]: MIT Press, 1996
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  10. Detailansicht für Treffer 10 öffnen
    The combinatory programme
    Erwin Engeler in collab. with ..
    Boston [u.a.]: Birkhäuser, 1995
    Sammelwerk, Gedruckte Ressource
  11. Detailansicht für Treffer 11 öffnen
    Logic programming and non-monotonic reasoning: proceedings of the second international workshop [held in Lisbon in June 1993]
    ed. by Luís Moniz Pereira ..
    Cambridge, Mass. [u.a.]: MIT Press, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  12. Detailansicht für Treffer 12 öffnen
    Logical environments
    ed. by Gérard Huet ..
    Cambridge: Cambridge Univ. Press, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  13. Detailansicht für Treffer 13 öffnen
    Proceedings of the International Workshop Algorithms and Parallel VLSI Architectures II: Château de Bonas, Gers, France, June 3 - 6, 1991
    ed. by Patrice Quinton ..
    Amsterdam [u.a.]: Elsevier, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  14. Detailansicht für Treffer 14 öffnen
    Drei Beiträge zu "Logik und KI"
    Bibel, Wolfgang ; Furbach, Ulrich ; et al.
    Koblenz: Univ. Koblenz-Landau, Inst. für Informatik, 1992
    Aufsatzsammlung, Sammelwerk, Gedruckte Ressource
  15. Detailansicht für Treffer 15 öffnen
    Principles and practice of constraint programming - CP 97: third international conference ; proceedings
    CP '97, Linz, Austria, October 29 - November 1, 1997. Gert Smolka (ed.)
    Berlin [u.a.]: Springer, 1997
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  16. Detailansicht für Treffer 16 öffnen
    Logic from computer science: proceedings of a workshop, held November 13 - 17, 1989
    Y. N. Moschovakis, ed
    New York [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  17. Detailansicht für Treffer 17 öffnen
    Database theory: 7th international conference ; proceedings
    ICDT '99, Jerusalem, Israel, January 10 - 12, 1999. Catriel Beeri ... (ed.)
    Berlin [u.a.]: Springer, 1999
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  18. Detailansicht für Treffer 18 öffnen
    Computer arithmetic and self validating numerical methods
    ed. by Christian Ullrich
    1. [Dr.]. - Boston [u.a.]: Academic Pr, 1990
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  19. Detailansicht für Treffer 19 öffnen
    NAPAW 92: proceedings of the First North American Process Algebra Worhshop, Stony Brook, New York, USA, 28 August 1992
    S. Purushothaman and Amy Zwarico (ed.). Publ. in collab. with the British Computer Society
    London [u.a.]: Springer, 1993
    Konferenzschrift, Sammelwerk, Gedruckte Ressource
  20. Detailansicht für Treffer 20 öffnen
    Proceedings of the 3rd UK Annual Conference on Logic Programming: Edinburg, 10 - 12 April 1991
    ALPUK 91. Geraint A. Wiggins ... (eds.)
    London [u.a.]: Springer, 1992
    Konferenzschrift, Sammelwerk, Gedruckte Ressource

Artikel & mehr

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