Inheritance of Proofs (1996)

Cached

Download Links

by Martin Hofmann , Wolfgang Naraschewski , Martin Steffen , Terry Stroup , Fachbereich Mathematik , Lehrstuhl Fur Informatik Vii
Citations:4 - 0 self