An Equational Re-engineering of Set Theories
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Handbook of automated reasoning
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
| Hi-index | 0.00 |