Christian Mancas, Simona Dragomir, Laviania Crasovschi. On Modeling First Order Predicate Calculus using the Elementary Mathematical Data Model in MatBase DBMS. In M. H. Hamza, editor, The 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), February 10-13, 2003, Innsbruck, Austria. pages 1197-1202, IASTED/ACTA Press, 2003.
Abstract is missing.