Home
Scholarly Works
Use of Unit Clauses and Clause Splitting in...
Conference

Use of Unit Clauses and Clause Splitting in Automatic Deduction.

Authors

Lee S-J; Plaisted DA

Editors

Koczkodaj WW; Lauer PE; Toptsis AA

Pagination

pp. 228-232

Publisher

IEEE Computer Society

Publication Date

January 1, 1992

ISBN-10

0-8186-2812-X

Conference proceedings

ICCI

Contact the Experts team