| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Siva Anantharaman, Nirina Andrianarivelo: Heuristical Criteria in Refutational Theorem Proving. DISCO 1990: 184-193 |
Selection of 1 from 16 records - Siva Anantharaman has 16 coauthors
Copyright © 2009-12-01 by Michael Ley (ley@uni-trier.de)