Συγγραφέας: Jan van Eijck
Jan van Eijck: There are some questions that can’t be answered by logic (pdf, 49 pages)
• Relational logic = First Order Logic plus Relational Operators. • Most relational operations are expressible in first order logic, but not all of them. |