×

Found 51 Documents (Results 1–51)

New connectives for (full) fuzzy resolution. (English) Zbl 0986.03021

Sinčák, Peter (ed.) et al., The state of the art in computational intelligence. Proceedings of the European symposium on computational intelligence, Košice, Slovak Republic, August 30-September 1, 2000. With Forewords by Lotfi A. Zadeh, David E. Goldberg and Kunihiko Fukushima. Heidelberg: Physica-Verlag. Advances in Soft Computing. 146-151 (2000).
MSC:  03B52 03B50
PDFBibTeX XMLCite

Parametrized \(\in_{T}\)-logic. A theory of the extension of abstract logics concerning the concepts of truth, reference and classical negation. (Parametrisierte \(\in_{T}\)-Logik. Eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation.) (German) Zbl 0992.03013

Berlin: Logos Verlag. Berlin: TU Berlin (Diss. 1999), vi, 145 S. (2000).
MSC:  03B22 03-02
PDFBibTeX XMLCite

Collapsing polynomial-time degrees. (English) Zbl 0951.03039

Buss, Samuel R. (ed.) et al., Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9-15, 1998. Natick, MA: A K Peters, Ltd. Lect. Notes Log. 13, 1-24 (2000).
MSC:  03D30
PDFBibTeX XMLCite

The inner world of mathematics. (Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin.) (German) Zbl 0949.01033

Ästhetik und Naturwissenschaften. Bildende Wissenschaften - Zivilisierung der Kulturen. Wien: Springer. 318 S. DM 69.00; öS 485.00; sFr. 63.00 (2000).
MSC:  01A80 00A30
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 3

Main Field

Software