PDS -- A Three-Dimensional Data Structure for Proof Plans (2000)

Cached

Download Links

by Lassaad Cheikhrouhou , Volker Sorge
Venue: PROC. OF ACIDCA'2000
Citations:28 - 8 self