gefundene Verfasser BUNDY, ALAN

Bundy, Alan
Ireland, Andrew
Liu, Weiru
Basin, David A.
Kraan, Ina
Alle anzeigen »
Smaill, Alan
Robertson, Dave
Silva, Flávio Soares Corrêa da
Walsh, Toby
Basin, David

Treffer 1 - 20 von 42 für Suche 'BUNDY, ALAN', Suchdauer: 4,35s Treffer weiter einschränken
  1. 1
    The synthesis of logic programs from inductive proofs

    The synthesis of logic programs from inductive proofs von Bundy, Alan, Smaill, Alan, Wiggins, Geraint

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Using middle-out reasoning to transform naïve programs into tail-recursive ones

    Using middle-out reasoning to transform naïve programs into tail-recursive ones von Hesketh, Jane, Bundy, Alan, Smaill, Alan

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Extensions to the rippling-out tactic for guiding inductive proofs

    Extensions to the rippling-out tactic for guiding inductive proofs von Bundy, Alan, Van Harmelen, Frank, Smaill, Alan

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Rippling meta-level guidance for mathematical reasoning

    Rippling meta-level guidance for mathematical reasoning von Bundy, Alan

    Veröffentlicht 2005
    DE-12
    DE-92
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Middle-out reasoning for synthesis and induction

    Middle-out reasoning for synthesis and induction von Kraan, Ina, Basin, David, Bundy, Alan

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    A subsumption architecture for theorem proving

    A subsumption architecture for theorem proving von Bundy, Alan

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Productive use of failure in inductive proof

    Productive use of failure in inductive proof von Ireland, Andrew, Bundy, Alan

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Assignment methods for incidence calculus

    Assignment methods for incidence calculus von MacLean, R. G., Bundy, Alan, Liu, Weiru

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  9. 9
    What is the difference between real creativity and mere novelty?

    What is the difference between real creativity and mere novelty? von Bundy, Alan

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  10. 10
    An adaptation of proof-planning to declarer play in bridge

    An adaptation of proof-planning to declarer play in bridge von Frank, Ian, Basin, David A., Bundy, Alan

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Clear thinking about artificial intelligence

    Clear thinking about artificial intelligence von Bundy, Alan

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  12. 12
    How to solve it by induction

    How to solve it by induction von Bundy, Alan

    Veröffentlicht 1992
    Buch

    Zu den Favoriten
    Gespeichert in:
  13. 13
    A rational reconstruction of incidence calculus

    A rational reconstruction of incidence calculus von Silva, Flávio Soares Corrêa da, Bundy, Alan

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  14. 14
    On the nature of mathematical judgement reply to Penrose

    On the nature of mathematical judgement reply to Penrose von Bundy, Alan

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Building abstractions

    Building abstractions von Bundy, Alan, Giunchiglia, Fausto, Walsh, Toby

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  16. 16
    The computer modelling of mathematical reasoning

    The computer modelling of mathematical reasoning von Bundy, Alan

    Veröffentlicht 1983
    Buch

    Zu den Favoriten
    Gespeichert in:
  17. 17
    The use of proof planning for cooperative theorem proving

    The use of proof planning for cooperative theorem proving von Lowe, Helen, Bundy, Alan, McLean, Duncan

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Proof plans for the correction of false conjectures

    Proof plans for the correction of false conjectures von Monroy, Paul, Bundy, Alan, Ireland, Andrew

    Veröffentlicht 1994
    Buch

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Middle-out reasoning for logic program synthesis

    Middle-out reasoning for logic program synthesis von Kraan, Ina, Basin, David A., Bundy, Alan

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:
  20. 20
    General techniques for automatic program optimization and synthesis through theorem proving

    General techniques for automatic program optimization and synthesis through theorem proving von Madden, Peter, Bundy, Alan

    Veröffentlicht 1993
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: