B. H. Mayoh

Intelligent network agents for modelling nature

Du Junping, B. H. Mayoh, M. J. Rehder, 1997, 1997 IEEE International Conference on Intelligent Processing Systems (Cat. No.97TH8335).

Scandinavian Conference on Artificial Intelligence - 91 : "Odin's ravens" : proceedings of the SCAI '91, Roskilde, Denmark, 21-24 May 1991

B. H. Mayoh, 1991 .

Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields

B. H. Mayoh, 1966 .

Donald Kalish and Richard Montague. Logic. Techniques of formal reasoning . Harcourt, Brace a World, Inc., New York and Burlingame1964, x + 350 pp.

B. H. Mayoh, 1969 .

On finding optimal covers

B. H. Mayoh, B. Mayoh, 1968 .

Cannonito Frank B.. Hierarchies of computable groups and the word problem. The journal of symbolic logic, vol. 31 (1966), pp. 376–392.

B. H. Mayoh, 1968 .

Initialisation of own variables

B. H. Mayoh, 1961 .

Unified theory for logical programming and semantic representation

B. H. Mayoh, 1987 .

Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields

B. H. Mayoh, 1967 .

A graph technique for inverting certain matrices

B. H. Mayoh, B. Mayoh, 1965 .