Werner Kernig

Learn More
3 T A P is an acronym for 3–valued tableau–based theorem prover. It is based on the method of analytic tableaux. 3 T A P has been developed at the University of Karlsruhe in cooperation with the Institute for Knowledge Based Systems of IBM Germany in Heidelberg. Despite its name 3 T A P is able to deal with " classical " — i.e. two– valued — first–order(More)
  • 1