Using Rippling for Equational Reasoning (1996)

Cached

Download Links

by Dieter Hutter
Venue:In Proceedings 20th German Annual Conference on Artificial Intelligence KI-96
Citations:6 - 3 self