Treffer 1 – 20 von 24 für Suche 'Kerber, Manfred', Suchdauer: 0,06s 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
    Adaption of declaratively represented methods in proof planning

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

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert 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 von Kerber, Manfred

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Analogical reasoning with typical examples

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Analogical reasoning with typical examples

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Reasoning with assertions and examples

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


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

    Some aspects of analogy in mathematical reasoning von Kerber, Manfred

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


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

    Some aspects of analogy in mathematical reasoning von Kerber, Manfred

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert 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 von Schütt, Barbara, Kerber, Manfred

    Buch Fernleihe Bestellen


    Gespeichert in:
  13. 13
    Reasoning with assertions and examples

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert 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 von Schütt, Barbara, Kerber, Manfred

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert 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 von Kerber, Manfred, Präcklein, Axel

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Kerber, Manfred

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Kerber, Manfred

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert 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 von Kerber, Manfred

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: