Searching for "Towards Fully Automated Axiom Extraction for Finite-Valued Logics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Practical Aspects of Automated Reasoning and Evaluation of Systems for Higher Order Logic
by Boris Konev, Renate Schmidt, Stephan Schulz, Boris Konev, Renate A. Schmidt, Stephan Schulz, Tu München — 2008
….30 Joao Marcos and Dalmo Mendonca Towards fully automated axiom extraction for finite-valued logics 11…
Add To MetaCart

Towards fully automated axiom extraction for finite-valued
by João Marcos, Dalmo Mendonça
…Towards fully automated axiom extraction for finite-valued logics João Marcos and Dalmo Mendonça…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB