Skip to content

A DPLL Procedure for the Propositional Gdel Logic.

Dusan Guller

VenueCIJCCI
Year2010
ProceedingsIJCCI (ICFC-ICNC)

Browse the full IJCCI paper archive.