Theorem Proving and Programming with Dynamic First Order Logic

J. van Eijck, J. Heguiabehere, B. O'Nuallain

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationFunctional and Logic Programming: Ninth International Workshop, WFLP'2000
EditorsM. Alpuente
Place of PublicationValencia, Spanje
PublisherUniversidad Politechnica de Valencia
Number of pages16
Publication statusPublished - 2000


  • Wiskunde en computerwetenschappen
  • Menswetenschappen
  • Linguistic theory
  • Applied linguistics

Cite this