"Computer-assisted human-oriented inductive theorem proving by descente ..."

Claus-Peter Wirth (2012)

Details and statistics

DOI: 10.1093/jigpal/jzr048

access: closed

type: Journal Article

metadata version: 2020-03-06