Equational constructor induction / I. Bethke, P.H. Rodenburg
type: Book
type: CreativeWork
type: ProductModel
issued: 1992
about: p075603233
author: p071406409
author: p075442043
contributor: p072789700
language: en
is part of: p047687568
main entity of page: https://data.bibliotheken.nl/.well-known/genid/35d83af47fc10a6514b8ee420a7274eb
name: Equational constructor induction
number of pages: 17