Disproving conjectures

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 340-354
https://doi.org/10.1007/3-540-55602-8_176

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Disproving conjectures
Published by Springer Nature ,1992
Foundations of Equational Logic Programming
Published by Springer Nature ,1989
Canonical Forms and Unification.
Published by Defense Technical Information Center (DTIC) ,1980