Treffer 1 – 20 von 23 für Suche 'Kleine Büning, Hans 1948-', 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
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2014
    Beschreibung
    Buch


    Gespeichert in:
  2. 2
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2021
    Buch


    Gespeichert in:
  3. 3
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2018
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2014
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  6. 6
    Propositional logic deduction and algorithms

    Propositional logic deduction and algorithms von Kleine Büning, Hans 1948-, Lettmann, Theodor

    Veröffentlicht 1999
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS

    Wissensbasierte Systeme elektronische Weiterbildung unter WINDOWS von Kleine Büning, Hans 1948-

    Veröffentlicht 1992
    Elektronisch Software E-Book Fernleihe Bestellen


    Gespeichert in:
  8. 8
    PROLOG Grundlagen und Anwendungen ; mit zahlrichen Tabellen und Programmbeispielen

    PROLOG Grundlagen und Anwendungen ; mit zahlrichen Tabellen und Programmbeispielen von Kleine Büning, Hans 1948-, Schmitgen, Stefan 1961-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Equivalence of propositional logic programs

    Equivalence of propositional logic programs von Kleine Büning, Hans 1948-, Löwen, Ulrich, Schmitgen, Stefan 1961-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Projections of vector addition system reachability sets are semilinear

    Projections of vector addition system reachability sets are semilinear von Kleine Büning, Hans 1948-, Lettmann, Theodor, Mayr, Ernst W. 1950-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  12. 12
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kleine Büning, Hans 1948-, Kastens, Uwe 1946-

    Veröffentlicht 2005
    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Aussagenlogik: Deduktion und Algorithmen

    Aussagenlogik: Deduktion und Algorithmen von Kleine Büning, Hans 1948-, Lettmann, Theodor

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  14. 14
    The reachability problem for Petri nets and decision problems for Skolem arithmetic; the r / e / complexity of decision problems for commutative semi-thue systems with recursive rule set

    The reachability problem for Petri nets and decision problems for Skolem arithmetic; the r / e / complexity of decision problems for commutative semi-thue systems with recursive ru... von Börger, Egon, Kleine Büning, Hans 1948-

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:
  15. 15
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2018
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  16. 16
    Modellierung Grundlagen und formale Methoden

    Modellierung Grundlagen und formale Methoden von Kastens, Uwe 1946-, Kleine Büning, Hans 1948-

    Veröffentlicht 2005
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  17. 17
    Propositional logic deduction and algorithms

    Propositional logic deduction and algorithms von Kleine Büning, Hans 1948-, Lettmann, Theodor

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  18. 18
    Aussagenlogik Deduktion und Algorithmen

    Aussagenlogik Deduktion und Algorithmen von Kleine Büning, Hans 1948-, Lettmann, Theodor

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  19. 19
    Optimization aspects for propositional binary Prolog programs

    Optimization aspects for propositional binary Prolog programs von Kleine Büning, Hans 1948-, Löwen, Ulrich

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  20. 20
    Inconsistency of production systems

    Inconsistency of production systems von Kleine Büning, Hans 1948-, Löwen, Ulrich, Schmitgen, Stefan 1961-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: