Treffer 1 – 15 von 15 für Suche 'Bläsius, Karl Hans 1952-', Suchdauer: 0,08s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Resolution with feature unification

    Resolution with feature unification von Bläsius, Karl Hans 1952-, Hedtstück, Ulrich 1951-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Equality reasoning based on graphs

    Equality reasoning based on graphs von Bläsius, Karl Hans 1952-

    Veröffentlicht 1986
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Construction of equality graphs

    Construction of equality graphs von Bläsius, Karl Hans 1952-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Equality reasoning based on graphs

    Equality reasoning based on graphs von Bläsius, Karl Hans 1952-

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Deduktionssysteme Automatisierung des logischen Denkens

    Deduktionssysteme Automatisierung des logischen Denkens

    Veröffentlicht 1987
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch


    Gespeichert in:
  6. 6
    Künstliche Intelligenz und nukleare Bedrohungen Risiken eines Atomkriegs aus Versehen

    Künstliche Intelligenz und nukleare Bedrohungen Risiken eines Atomkriegs aus Versehen

    Veröffentlicht 2022
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Deduktionssysteme Automatisierung des logischen Denkens

    Deduktionssysteme Automatisierung des logischen Denkens

    Veröffentlicht 1992
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Deduction systems in artificial intelligence

    Deduction systems in artificial intelligence

    Veröffentlicht 1989
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Deduktionssysteme Automatisierung des logischen Denkens

    Deduktionssysteme Automatisierung des logischen Denkens

    Veröffentlicht 1987
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Deduktionssysteme Automatisierung des logischen Denkens

    Deduktionssysteme Automatisierung des logischen Denkens

    Veröffentlicht 1992
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Sorts and types in artificial intelligence workshop, Eringerfeld, FRG, April 24 - 26, 1989 proceedings

    Sorts and types in artificial intelligence workshop, Eringerfeld, FRG, April 24 - 26, 1989 proceedings

    Veröffentlicht 1990
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Sorts and types in artificial intelligence workshop, Eringerfeld, FRG, April 24 - 26, 1989 proceedings

    Sorts and types in artificial intelligence workshop, Eringerfeld, FRG, April 24 - 26, 1989 proceedings

    Veröffentlicht 1990
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Deduction systems in artificial intelligence

    Deduction systems in artificial intelligence

    Veröffentlicht 1989
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    Deduction systems in artificial intelligence

    Deduction systems in artificial intelligence

    Veröffentlicht 1989
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Künstliche Intelligenz und nukleare Bedrohungen Risiken eines Atomkriegs aus Versehen

    Künstliche Intelligenz und nukleare Bedrohungen Risiken eines Atomkriegs aus Versehen

    Veröffentlicht 2022
    Weitere Verfasser: “… Bläsius, Karl Hans 1952- …”
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: