Rosalind L. R. Ibrahim

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1981

1 Rosalind L. R. Ibrahim: A Computer System for Axiomatic Investigation. International Journal of Man-Machine Studies 15(2): 179-200 (1981)