TRIP: An implementation of clausal rewriting

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 667-668
https://doi.org/10.1007/3-540-52885-7_133

Abstract

No abstract available

Keywords

This publication has 1 reference indexed in Scilit:

A completion procedure for conditional equations
Published by Springer Nature ,1988