Research Catalog

  • Deduction systems in artificial intelligence / editors : Karl-Hans Bläsius, Hans-Jürgen Bürckert.

    • Text
    • Chichester [England] : Horwood ; New York : Wiley, 1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 D4313 1989Off-site
  • Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, [1990], ©1990.
    • 1990-1990
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .S632 1990Off-site
  • Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .S632 1990Off-site
  • Künstliche Intelligenz und nukleare Bedrohungen : Risiken eines Atomkriegs aus Versehen / Karl Hans Bläsius, Reiner Schwalb, Michael Staack (Hrsg.).

    • Text
    • Opladen : Verlag Barbara Budrich, [2022]
    • 2022
    • 1 Item
    FormatCall NumberItem Location
    Text UG479 .K86 2022Off-site
  • Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / K.H. Bläsius, U. Hedtstück, C.-R. Rollinger, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .S632 1990Off-site
  • Deduktionssysteme : Automatisierung des logischen Denkens / herausgegeben von K.H. Bläsius und H.-J. Bürckert ; mit Beiträgen von K.H. Bläsius [and others].

    • Text
    • München : R. Oldenbourg, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 D43 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta