The SAT problem of signed CNF formulas. (English)
Basin, David (ed.) et al., Labelled deduction. Based on the 1st international workshop, LD’98, Freiburg, Germany, September 1998. Dordrecht: Kluwer Academic Publishers. Appl. Log. Ser. 17, 59-80 (2000).
1
Computing incoherence of sentences from a logical representation of their semantics. (English)
Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 189-201 (1998).
2
Fuzzy reasoning and its applications. (English)
Computers and People Series. London etc.: Academic Press, a subsidiary of Harcourt Brace Jovanovich, Publishers. XVIII, 381 p. \sterling 12.60; \$ 30.50 (1981).
3
Start
Contact
Print
General Help
