| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 3 |       | Grzegorz Bancerek, Piotr Rudnicki: Information Retrieval in MML. MKM 2003: 119-132 |
| 1 |  | Grzegorz Bancerek, Piotr Rudnicki: A Compendium of Continuous Lattices in MIZAR. J. Autom. Reasoning 29(3-4): 189-224 (2002) |
Selection of 2 from 7 records - Grzegorz Bancerek has 4 coauthors
Copyright © 2009-12-04 by Michael Ley (ley@uni-trier.de)