Search Results - Baumgartner, Peter

Filter by
  1. 1
    Cover Image

    Theory reasoning in connection calculi
    by Baumgartner, Peter

    Published 1998
    Table of Contents
    Book


    Saved in:
  2. 2
    Cover Image

    A completeness proof technique for resolution with equality
    by Baumgartner, Peter

    Published 1991
    Book


    Saved in:
  3. 3
    Cover Image

    Software specification methods from the viewpoint of reusability
    by Baumgartner, Peter, Meggendorfer, Siegfried, Qiu, Zong-yan

    Published 1990
    Book


    Saved in:
  4. 4
    Cover Image

    Taxonomie von Unterrichtsmethoden: ein Plädoyer für didaktische Vielfalt
    by Baumgartner, Peter 1953-

    Published 2011
    Table of Contents
    Book


    Saved in:
  5. 5
    Cover Image

    Stufenmethode zur Schnittstellengestaltung in der internationalen Produktion
    by Baumgartner, Peter

    Published 1999
    Thesis/Dissertation Book


    Saved in:
  6. 6
    Cover Image

    Theory reasoning in connection calculi
    by Baumgartner, Peter

    Published 1998
    Read online
    Electronic eBook


    Saved in:
  7. 7
    Cover Image

    Optische und elektronische Eigenschaften lasergeschriebener GaAs-Nanostrukturen
    by Baumgartner, Peter

    Published 1997
    Table of Contents
    Thesis/Dissertation Book


    Saved in:
  8. 8
    Cover Image

    Lernen mit Software
    by Baumgartner, Peter 1953-, Payr, Sabine 1956-

    Published 1994
    Table of Contents
    Book


    Saved in:
  9. 9
    Cover Image

    Model elimination without contrapositives and its application to PTTP
    by Baumgartner, Peter, Furbach, Ulrich 1948-

    Published 1993
    Book


    Saved in:
  10. 10
    Cover Image

    Linear completion: combining the linear and the unit-resulting restrictions
    by Baumgartner, Peter

    Published 1993
    Book


    Saved in:
  11. 11
    Cover Image

    A unified approach to theory reasoning
    by Baumgartner, Peter, Furbach, Ulrich 1948-, Petermann, Uwe 1953-

    Published 1992
    Book


    Saved in:
  12. 12
    Cover Image

    An ordered theory resolution calculus
    by Baumgartner, Peter

    Published 1991
    Book


    Saved in:
  13. 13
    Cover Image

    Modelling software reuse with predicate logic
    by Baumgartner, Peter

    Published 1990
    Book


    Saved in:
  14. 14
    Cover Image

    Combining Horn Clause logic with rewrite rules
    by Baumgartner, Peter

    Published 1990
    Book


    Saved in:
  15. 15
    Cover Image

    Der Einfluss von Kooperationen auf die Entwicklung der Austrian Airlines AG: historische Analyse der Transformation einer nationalen Luftlinie im Spannungsfeld von politischem Einfluss und privatwirtschaftlicher Ausrichtung
    by Baumgartner, Peter

    Published 2013
    Read online (freely available)
    Table of Contents
    Thesis/Dissertation Book


    Saved in:
  16. 16
    Cover Image

    Schaufenster des Lernens: eine Sammlung von Mustern zur Arbeit mit E-Portfolios
    by Bauer, Reinhard, Baumgartner, Peter 1953-

    Published 2012
    Table of Contents
    Book


    Saved in:
  17. 17
    Cover Image

    E-Learning-Praxishandbuch: Auswahl von Lernplattformen ; Marktübersicht, Funktionen, Fachbegriffe
    by Baumgartner, Peter 1953-, Häfele, Hartmut 1968-, Maier-Häfele, Kornelia 1965-

    Published 2002
    Book


    Saved in:
  18. 18
    Cover Image

    Wörterbuch der Energietechnik mit Anwendungsbeispielen: unter besonderer Berücksichtigung aktueller Technologien wie Biomasse, Brennstoffzellen, Geothermie, Kombikraftwerke, Kraft-Wärme-Kopplung, Solarenergie, Wasserkraft und Windenergie ; Deutsch-Englisch, Englisch-Deutsch = Energy technology dictionary with examples on usage
    by Baumgartner, Peter

    Published 2001
    Table of Contents
    Book


    Saved in:
  19. 19
    Cover Image

    Refinements of theory model elimination and a variant without contrapositives
    by Baumgartner, Peter

    Published 1993
    Book


    Saved in:
  20. 20
    Cover Image

    Consolution as a framework for comparing calculi
    by Baumgartner, Peter, Furbach, Ulrich 1948-

    Published 1992
    Book


    Saved in:

Search Tools: