problem-set/pelletier

Click here to see the number of accesses to this library.

#  problem-set/pelletier
#  created : 07/25/86
#  revised : 07/28/88
#   
#  Sub-Directories
#  ------------------------------------------------------------------------
#  

lib	full.predicate
for	full.predicate  : directory containing problems from the Francis 
,	Pelletier paper in Full Predicate Logic, without
,	Equality and Functions.

#  ------------------------------------------------------------------------
#