Return to search

Resolution-based decision procedures for subclasses of first-order logic

University, Diss., 1999--Saarbrücken.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/177323862
CreatorsHustadt, Ullrich.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0019 seconds