Christoph Walther

Christoph Walther (born 9 August 1950) is a German computer scientist, known for his contributions to automated theorem proving. He is Professor emeritus at Darmstadt University of Technology. Provided by Wikipedia
Showing 1 - 20 results of 108 for search 'Walther, Christoph', query time: 0.11s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit

    Datenschutz und Schweigepflicht in der sozialpsychiatrischen Arbeit by Palsherm, Ingo 1974-, Walther, Christoph 1959-

    Published 2023
    Get full text
    Electronic eBook


    Saved in:
  2. 2
    Urbane Resilienz in der Praxis Impulse für die Stadt im Wandel : Projektaufruf Post-Corona-Stadt: Ideen und Konzepte für eine resiliente Stadtentwicklung

    Urbane Resilienz in der Praxis Impulse für die Stadt im Wandel : Projektaufruf Post-Corona-Stadt: Ideen und Konzepte für eine resiliente Stadtentwicklung by Walther, Christoph

    Published 2024
    Indexes
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Darlehen und Schuldscheine im Frankenreich (6. bis 9. Jahrhundert)

    Darlehen und Schuldscheine im Frankenreich (6. bis 9. Jahrhundert) by Lößlein, Horst, Walther, Christoph

    Published 2022

    Get full text
    Article Interlibrary loan Place Request


    Saved in:
  4. 4
    PEGASUS Psychoedukative Gruppenarbeit mit schizophren und schizoaffektiv erkrankten Menschen

    PEGASUS Psychoedukative Gruppenarbeit mit schizophren und schizoaffektiv erkrankten Menschen by Wienberg, Günther 1953-, Walther, Christoph 1959-, Berg, Michaela

    Published 2013
    Description
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    PEGASUS Psychoedukative Gruppenarbeit mit schizophren und schizoaffektiv erkrankten Menschen

    PEGASUS Psychoedukative Gruppenarbeit mit schizophren und schizoaffektiv erkrankten Menschen by Wienberg, Günther, Walther, Christoph, Berg, Michaela

    Published 2013
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    Schizophrenie als Lern- und Bildungsanlass Psychoedukation aus pädagogischer Sicht

    Schizophrenie als Lern- und Bildungsanlass Psychoedukation aus pädagogischer Sicht by Walther, Christoph 1959-

    Published 2011
    Indexes
    Thesis Book Interlibrary loan Place Request


    Saved in:
  7. 7
    Jakob Fischbacher und die Bayernpartei biografische Studien 1886 bis 1972

    Jakob Fischbacher und die Bayernpartei biografische Studien 1886 bis 1972 by Walther, Christoph 1966-

    Published 2006
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen

    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen by Walther, Christoph 1966-, Gelberg, Karl-Ulrich 1962-

    Published 2002
    Article Interlibrary loan Place Request


    Saved in:
  9. 9
    Semantik und Programmverifikation

    Semantik und Programmverifikation by Walther, Christoph

    Published 2001

    Get full text Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  10. 10
    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen

    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen by Walther, Christoph 1966-, Gelberg, Karl-Ulrich 1962-

    Published 1993
    Article Interlibrary loan Place Request


    Saved in:
  11. 11
    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen

    Nationalsozialistische Außenpolitik in München und das Münchner Abkommen by Walther, Christoph, Gelberg, Karl-Ulrich 1962-

    Published 1993
    Article Interlibrary loan Place Request


    Saved in:
  12. 12
    Automatisierung von Terminierungsbeweisen

    Automatisierung von Terminierungsbeweisen by Walther, Christoph 1950-

    Published 1991
    Thesis Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Automatisierung von Terminierungsbeweisen

    Automatisierung von Terminierungsbeweisen by Walther, Christoph

    Published 1991
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  14. 14
    A digest of argument-bounded algorithms

    A digest of argument-bounded algorithms by Walther, Christoph 1950-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Automated termination proofs

    Automated termination proofs by Walther, Christoph 1950-

    Published 1988
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    A many-sorted calculus based on resolution and paramodulation

    A many-sorted calculus based on resolution and paramodulation by Walther, Christoph 1950-

    Published 1987
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    A many-sorted calculus based on resolution and paramodulation

    A many-sorted calculus based on resolution and paramodulation by Walther, Christoph

    Published 1987
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  18. 18
    Schubert's steamroller

    Schubert's steamroller by Walther, Christoph 1950-

    Published 1984
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    A many-sorted calculus based on resolution and paramodulation

    A many-sorted calculus based on resolution and paramodulation by Walther, Christoph 1950-

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    The Markgraf Karl refutation procedure PLL - a first-order language for an automated theorem prover

    The Markgraf Karl refutation procedure PLL - a first-order language for an automated theorem prover by Walther, Christoph 1950-

    Published 1982
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: