Simultaneous construction of refutations and models for propositional formulas /
Allen Van Gelder

Description

Main Author: Van Gelder, Allen
Related Names: University of California, Santa Cruz. Computer Research Laboratory
Language(s): English
Published: Santa Cruz, CA (Applied Sciences Bldg., University of California, Santa Cruz, Santa Cruz 95064) : Computer Research Laboratory, [University of California, Santa Cruz, 1995]
Subjects: Refutation (Logic) > Refutation (Logic) / Computer simulation
Propositional calculus > Propositional calculus / Computer simulation
Mathematics > Mathematics / Formulae > Mathematics / Formulae / Computer simulation
Physical Description: 35 p. : ill. ; 28 cm
Locate a Print Version: Find in a library

Item Link	Original Source
Limited (search only)	University of California