Suchergebnisse - Smaill, Alan

Higher order annotated terms for proof search

von Smaill, Alan, Green, Ian

Computing belief revision

von Berendt, Bettina, Smaill, Alan

Extensions to the rippling-out tactic for guiding inductive proofs

von Bundy, Alan, Van Harmelen, Frank, Smaill, Alan

Theorem proving and program synthesis with Oyster

von Horn, Christian, Smaill, Alan

Hierarchical music representation for composition and analysis

von Smaill, Alan, Wiggins, Geraint

Automating the synthesis of functional programs in constructive type theory

von Smaill, Alan, Green, Ian

From meta level tactics to object level programs

von Horn, Christian, Smaill, Alan

Automatic characterisation of musical style

von Westhead, Martin D., Smaill, Alan

On the use of the constructive omega-rule within automated deduction

von Baker, S., Ireland, A., Smaill, Alan

Guiding proof search in logical frameworks with rippling

von Negrete, Santiagao, Smaill, Alan

A proof environment for arithmetic with the omega rule

von Baker, Siani, Smaill, Alan

Music representation, between the musician and the computer

von Smaill, Alan, Wiggins, Geraint, Miranda, Eduardo Reck 1963-

The reactive accompanist: applying subsumption architecture to software design

von Bryson, Joanna, Smaill, Alan, Wiggins, Geraint

Experience with FS0 as a framework theory

von Matthews, Seán, Smaill, Alan, Basin, David A.

Representing music symbolically

von Harris, Mitch, Smaill, Alan, Wiggins, Geraint

The synthesis of logic programs from inductive proofs

von Bundy, Alan, Smaill, Alan, Wiggins, Geraint

Representing music for analysis and composition

von Wiggins, Geraint, Harris, Mitch, Smaill, Alan

An algebraic semantics of Prolog program termination

von Ross, Brian J., Smaill, Alan

Using middle-out reasoning to transform naïve programs into tail-recursive ones

von Hesketh, Jane, Bundy, Alan, Smaill, Alan

Computational Creativity Research: Towards Creative Machines

Weitere beteiligte Personen: “… Smaill, Alan …”
Inhaltsverzeichnis