Showing 1 - 20 results of 24 for search 'Kerber, Manfred', query time: 0.03s 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
    Adaption of declaratively represented methods in proof planning

    Adaption of declaratively represented methods in proof planning by Huang, Xiaorong, Kerber, Manfred, Cheikhrouhou, Lassaad

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    On the representation of mathematical concepts and their translation into first-order logic

    On the representation of mathematical concepts and their translation into first-order logic by Kerber, Manfred

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Analogical reasoning with typical examples

    Analogical reasoning with typical examples by Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    Analogical reasoning with typical examples

    Analogical reasoning with typical examples by Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    How to prove higher order theorems in first order logic

    How to prove higher order theorems in first order logic by Kerber, Manfred

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Reasoning with assertions and examples

    Reasoning with assertions and examples by Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    A mechanization of strong Kleene logic for partial functions

    A mechanization of strong Kleene logic for partial functions by Kerber, Manfred, Kohlhase, Michael 1964-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    How to prove higher order theorems in first order logic

    How to prove higher order theorems in first order logic by Kerber, Manfred

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Some aspects of analogy in mathematical reasoning

    Some aspects of analogy in mathematical reasoning by Kerber, Manfred

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    A frame based approach to representing mathematical concepts

    A frame based approach to representing mathematical concepts by Kerber, Manfred

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Some aspects of analogy in mathematical reasoning

    Some aspects of analogy in mathematical reasoning by Kerber, Manfred

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  12. 12
    A mathematical knowledge base for proving theorems in semigroup and automata theory

    A mathematical knowledge base for proving theorems in semigroup and automata theory by Schütt, Barbara, Kerber, Manfred

    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Reasoning with assertions and examples

    Reasoning with assertions and examples by Kerber, Manfred, Melis, Erica, Siekmann, Jörg H.

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    A mathematical knowledge base for proving theorems in semigroup and automata theory

    A mathematical knowledge base for proving theorems in semigroup and automata theory by Schütt, Barbara, Kerber, Manfred

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    Tactics for the improvement of problem formulation in resolution-based theorem proving

    Tactics for the improvement of problem formulation in resolution-based theorem proving by Kerber, Manfred, Präcklein, Axel

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    On the representation of mathematical concepts and their translation into first-order logic

    On the representation of mathematical concepts and their translation into first-order logic by Kerber, Manfred

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Methods - the basic units for planning and verifying proofs

    Methods - the basic units for planning and verifying proofs by Huang, Xiaorong, Kerber, Manfred, Kohlhase, Michael 1964-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    On the representation of mathematical concepts and their translation into first-oder logic

    On the representation of mathematical concepts and their translation into first-oder logic by Kerber, Manfred

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    On the representation of mathematical concepts and their translation into first-order logic

    On the representation of mathematical concepts and their translation into first-order logic by Kerber, Manfred

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Useful properties of a frame-based representation of mathematical knowledge

    Useful properties of a frame-based representation of mathematical knowledge by Kerber, Manfred

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: