×

zbMATH — the first resource for mathematics

Found 25 Documents (Results 1–25)

100
MathJax
Novák, Vilém (ed.) et al., Discovering the world with fuzzy logic. Heidelberg: Physica-Verlag. Stud. Fuzziness Soft Comput. 57, 495-547 (2000).
PDF BibTeX XML Cite
Batens, Diderik (ed.) et al., Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30-August 2, 1997. Baldock: Research Studies Press. Stud. Log. Comput. 8, 113-135 (2000).
Reviewer: Reviewer (Berlin)
MSC:  03B53
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 703-717 (1996).
Reviewer: Reviewer (Berlin)
MSC:  68T50 03B47 03B65 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 31-41 (1994).
Reviewer: Reviewer (Berlin)
MSC:  03B47
PDF BibTeX XML Cite
Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 685-690 (1991).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T05 68T20 68N15 68T15
PDF BibTeX XML Cite