|
Results 21 - 21 of 21 found about first order predicate logic: First-order predicate calculus
...... predicate calculus, First-order logic, First-order predicate logic, ... First-order predicate calculus or first-order logic ( FOL ) is a ... ..
http://www.freeglossary.com/First_order_logic, score=39, date indexed=January 28, 2006, 4:33 am Page Previous 1 2 3 Last accessed:2008/10/12 09:54:40 [Total processing time: 1223819680 seconds] |