Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: Language, Logic and Computation: the 1994 Moraga Proceedings
| Editors: | Seligman, J.; Westerstahld, D.
| Book#: | MISSING
| Publisher: | CSLI, Stanford, USA
| Volume: | MISSING
| Pages: | MISSING
| |
Chapter in Edited Book #714 | |
Title: | Proof Styles and Multi-Modal Reasoning |
---|---|
Authors: | Oberlander,J; Cox,R; gardner,K |
Date: | 1994 |
Presented: | |
Keywords: |