Programming with dynamic predicate logic

Authors
Publication date 1998
ISBN
  • 06
Series INS-R9810, CT-1998
Publisher Amsterdam: WINS (oud WINS)
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Report
Note CWI/ICCL
Permalink to this page
Back