Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 25
Number of items: 25
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and programming with dynamic first order logic. In M. Alpuente (Ed.), Functional and Logic Programming: Ninth International Workshop, WFLP'2000, Benicàssim, Spain, September 28-30, 2000 (pp. 56-71). Universidad Politéchnica de Valencia.
  • van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and porgramming with dynamic first order logic - full version. (technical Report; No. INS-R0020). Institute for Logic Language and Computation.
  • Ó Nualláin, B. S. (1997). Theorem proving with equations (Handout for the lecture series "theoremproving" by Cees Doets). vakgroep methoden en technieken.
  • Masuch, J. M. F., Ó Nualláin, B. S., & Kamps, J. A. (1996). Applying Automated Reasoning to Theory Building in the Social Sciences. (CCSOM Report 96-144). vakgroep methoden en technieken.
  • Bruggeman, J. P., & Ó Nualláin, B. S. (1995). A Niche Width Model of Optimal Specialism. vakgroep methoden en technieken.
Page 3 of 3