Edinburgh Research Explorer

Dr. Alan Smaill

Senior Lecturer

Phone: +44 (0) 131 650 2710

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