LOP

A language based on first-order logic.

["SETHEO - A High-Perormance Theorem Prover for First-Order Logic", Reinhold Letz et al, J Automated Reasoning 8(2):183-212 (1992)].

Try this search on Wikipedia, OneLook, Google

Nearby terms: LOOPS « loop through « loose bytes « LOP » lord high fixer » Lore » Lorem ipsum


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.