Alison Pease

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Markus Guhe, Alan Smaill, Alison Pease: A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330

2004

1 Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978

	2009
2		Markus Guhe, Alan Smaill, Alison Pease: A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330
	2004
1		Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978

Coauthor Index

1 Simon Colton [1]

2 Markus Guhe [2]

3 Alan Smaill [2]

Colors in the list of coauthors