Edinburgh Research Explorer

A Science of Reasoning

Research output: Chapter in Book/Report/Conference proceedingChapter

Related Edinburgh Organisations

Documents

Original languageEnglish
Title of host publicationComputational Logic: Essays in Honor of Alan Robinson
EditorsG. Lassez J-L & Plotkin
PublisherMIT Press
ISBN (Print)0262121565, 9780262121569
StatePublished - 1991

ID: 405643