Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

46

CADE
2000
Springer

favoriteEmaildiscussreport

91views Logical Reasoning» more CADE 2000»

Support Ordered Resolution

14 years 3 months ago

Support Ordered Resolution

Download www.cs.unb.ca

Bruce Spencer, Joseph Douglas Horton

Real-time Traffic

CADE 2000 | Logical Reasoning |

claim paper

Related Content

» A Process Traceability Methodology to Support Conflict Management

» Supporting Natural Language Processing with Background Knowledge Coreference Resolution Ca...

» The effective resolution of correlation filters applied to natural scenes

» Resolution Games and NonLiftable Resolution Orderings

» Developing Modal Tableaux and Resolution Methods via FirstOrder Resolution

» Vector Glyphs for Surfaces A Fast and Simple Glyph Placement Algorithm for Adaptive Resolu...

» Supporting Collaborative Development in an Open MDA Environment

» Middleware Support for Quality of Context in Pervasive ContextAware Systems

» Improved realtime MRI of oralvelar coordination using a goldenratio spiral view order

Post Info
More Details (n/a)

Added	02 Aug 2010
Updated	02 Aug 2010
Type	Conference
Year	2000
Where	CADE
Authors	Bruce Spencer, Joseph Douglas Horton

Comments (0)