Canonical equational proofs

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Boston : Birkhäuser , 1991
Omfang	x, 135 s. : ill.
Opplysninger	"Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987" - Forordet
Emner	Equations Rewriting systems (Computer science) informasjonsteori matematikk
ISBN	0817635556. - 3764335556

Biblioteksøk