| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 2 |       | Norbert Eisinger, Jörg H. Siekmann, Graham Wrightson: Paramodulated Connection Graphs. AISB/GI (ECAI) 1978: 105-109 |
Selection of 1 from 18 records - Graham Wrightson has 13 coauthors
Copyright © 2009-11-30 by Michael Ley (ley@uni-trier.de)