14 found
Order:
  1.  9
    C. J. Topping, M. J. Rehder & B. H. Mayoh (1999). Viola: A New Visual Programming Language Designed for the Rapid Development of Interacting Agent Systems. Acta Biotheoretica 47 (2):129-140.
    The construction of complex simulation models and the application of new computer hardware to ecological problems has resulted in the need for many ecologists to rely on computer programmers to develop their modelling software. However, this can lead to a lack of flexibility and understanding in model implementation and in resource problems for researchers. This paper presents a new programming language, Viola, based on a simple organisational concept which can be used by most researchers to develop complex simulations much more (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2. B. H. Mayoh (1967). Review: M. O. Rabin, Computable Algebraic Systems; Michael O. Rabin, Computable Algebra, General Theory and Theory of Computable Fields. [REVIEW] Journal of Symbolic Logic 32 (3):412-413.
     
    Export citation  
     
    My bibliography  
  3.  3
    B. H. Mayoh (1997). Moschovakis Yiannis N.. Notation Systems and Recursive Ordered Fields. Compositio Mathematica, Vol. 17 No. 1 (1965), Pp. 40–71. [REVIEW] Journal of Symbolic Logic 31 (4):650-651.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  2
    B. H. Mayoh (1997). Moschovakis YN. Recursive Metric Spaces. Fundamenta Mathematicae, Vol. 55 (1964), Pp. 215–238. Journal of Symbolic Logic 31 (4):651-652.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  2
    B. H. Mayoh (1969). Review: Donald Kalish, Richard Montague, Logic. Techniques of Formal Reasoning. [REVIEW] Journal of Symbolic Logic 34 (4):641-642.
  6.  1
    B. H. Mayoh (1966). Review: Yiannis N. Moschovakis, Notation Systems and Recursive Ordered Fields. [REVIEW] Journal of Symbolic Logic 31 (4):650-651.
  7. Finn V. Jensen, B. H. Mayoh & Karen K. Møller (eds.) (1979). Proceedings From 5th Scandinavian Logic Symposium, Aalborg, 17-19 January 1979. Distruberet Af Aalborg Universitetsforlag.
     
    Export citation  
     
    My bibliography  
  8. B. H. Mayoh (1968). Cannonito Frank B.. Hierarchies of Computable Groups and the Word Problem. Journal of Symbolic Logic 33 (1):121.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. B. H. Mayoh (1969). Kalish Donald and Montague Richard. Logic. Techniques of Formal Reasoning. Harcourt, Brace & World, Inc., New York and Burlingame 1964, X + 350 Pp. [REVIEW] Journal of Symbolic Logic 34 (4):641-642.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10. B. H. Mayoh (1968). Review: Frank B. Cannonito, Hierarchies of Computable Groups and the Word Problem. [REVIEW] Journal of Symbolic Logic 33 (1):121-121.
     
    Export citation  
     
    My bibliography  
  11. B. H. Mayoh (1967). Rabin M. O.. Computable Algebraic Systems. Summaries of Talks Presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd Edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, Pp. 134–138.Rabin Michael O.. Computable Algebra, General Theory and Theory of Computable Fields. Transactions of the American Mathematical Society, Vol. 95 , Pp. 341–360. [REVIEW] Journal of Symbolic Logic 32 (3):412-413.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  12. B. H. Mayoh (1969). Review: Rolf Schock, Logik. [REVIEW] Journal of Symbolic Logic 34 (4):642-642.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13. B. H. Mayoh (1966). Review: Y. N. Moschovakis, Recursive Metric Spaces. [REVIEW] Journal of Symbolic Logic 31 (4):651-652.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14. B. H. Mayoh (1969). Schock Rolf. Logik. Almqvist & Wiksell, Stockholm 1967, 105 pp. [REVIEW] Journal of Symbolic Logic 34 (4):642.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography