Linear time unit resolution for propositional formulas--in Prolog yet /
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: Computer algorithms
Prolog (Computer program language)
Linear time invariant systems
Propositional calculus
Mathematics > Mathematics / Formulae > Mathematics / Formulae / Computer simulation
Physical Description: 10 p. ; 28 cm
Locate a Print Version: Find in a library

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