Searching for "PAL A Pattern-Based First-Order Inductive System." – sorted by Relevance.
-
PAL: a pattern-based first-order inductive system
- in The Netherlands. PAL: a pattern--based first--order inductive system EDUARDO F. MORALES emorales
- Cited by 6 (2 self) – Add To MetaCart

