1
by Moll, Robert N., Arbib, Michael A., Kfoury, A.J.
Published 1988
Springer New York
... of theoretical computer science. Until recently, the main reasons for this centrality were connected...

2
by Arbib, Michael A.
Published 1987
Springer New York
... on achieving some benchmark of performance rather than on capturing the mechanisms by which humans were...

3
by Kfoury, A.J., Moll, Robert N., Arbib, Michael A.
Published 1982
Springer New York
... basic results were discovered by mathematical logicians prior to the development of the first stored...