Adaptation of Declaratively Represented Methods in Proof Planning (1995)

Cached

Download Links

by Xiaorong Huang , Manfred Kerber , Lassaad Cheikhrouhou
Venue:SEKI REPORT SR-95-12, FACHBEREICH INFORMATIK, UNIVERSIT AT DES SAARLANDES
Citations:4 - 2 self