MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • Also electronically available as CEUR Publication at  
  • by Volker Haarslev, Ralf Möller, Volker Haarslev, Ralf Möller, Carlos Areces, Diego Calvanese, Enrico Franconi, Volker Haarslev, Ian Horrocks, Ralf Küsters, Carsten Lutz, Deborah L. Mcguinness, Ralf Möller, Peter Patel-schneider — 2004
  • … iiTheory 2 S. Colucci, T. Di Noia, E. Di Sciascio, F.M. Donini, M. Mongiello A Uniform Tableaux-Based
  • Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB