Colour in the ancient Mediterranean world by University of Edinburgh, Cleland, Liza, Stears, Karen, Davies, Glenys fromBAR international series 0 Type: Book
Colour in the ancient Mediterranean world by Cleland, Liza, Stears, Karen, Davies, Glenys fromBAR international series 0 Type: Book
Theorem proving in higher order logics: 14th international conference, Edinburgh, Scotlan… by Boulton, Richard J., TPHOLs, Edinburgh, International Conference on Theorem Proving in Higher Order Logics, Edinburgh, TPHOLs 2001, Edinburgh) fromLecture Notes in Computer Science 0 Type: Book
Theorem proving in higher order logics: 14th international conference ; proceedings by TPHOLs, Edinburgh fromLecture Notes in Computer Science 0 Type: Book
