Sciweavers

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

9

AII
1989

favoriteEmaildiscussreport

48views Software Engineering» more AII 1989»

Inductive Inference for Solving Divergence in Knuth-Bendix Completion

13 years 9 months ago

Inductive Inference for Solving Divergence in Knuth-Bendix Completion

Download www.dcs.gla.ac.uk

Muffy Thomas, Klaus P. Jantke

Real-time Traffic

AII 1989 | Software Engineering |

claim paper

Related Content

» Completion Procedures as Semidecision Procedures

» A Taste of Rewrite Systems

» A computational approximation to the AIXI model

» Coherent Inference on Optimal Play in Game Trees

» What were you thinking filling in missing dataflow through inference in learning from demo...

» Learning and Consistency

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1989
Where	AII
Authors	Muffy Thomas, Klaus P. Jantke

Comments (0)