Skip to content

A Generalisation of the Hyperresolution Principle to First Order Gdel Logic.

Dusan Guller

VenueCIJCCI
Year2012
ProceedingsIJCCI (Selected Papers)

Browse the full IJCCI paper archive.