Edinburgh Research Explorer

Alan Smaill

(Former employee or visitor)

Research outputs

  1. Patterns of Design

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Formal Conceptual Blending in the (Co-)Invention of (Pure) Mathematics

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  3. ABC Repair System for Datalog-like Theories

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

View all (97) »

ID: 5284