Structures for Symbolic Mathematical Reasoning and Computation (1996)

Cached

Download Links

by Karsten Homann , Jacques Calmet
Venue:DESIGN AND IMPLEMENTATION OF SYMBOLIC COMPUTATION SYSTEMS, DISCO'96, NUMBER1128 IN LNCS
Citations:15 - 5 self