Results 221 to 225 of about 25,852,401 (225)

First-order logic axiomatization of metric graph theory

Theoretical Computer Science
Manoj Changat, Victor Chepoi, Jérémie Chalopin   +2 more
exaly  

An algorithm for computing theory prime implicates in first order logic

International Journal of Information and Communication Technology, 2007
exaly  

On the decidability of linear Z-temporal logic and the monadic second order theory of the integers

A Saoudi
exaly  

Tripos and Topos Theory for Fuzzy Logic: Baaz Δ Translation as Lawvere-Tierney Cotopology and Higher-Order Hyperdoctrinal Completion

Satoshi Nakata, Arisa Yasuda
exaly  

A logic theory of learning from experience

exaly