×

Found 21 Documents (Results 1–21)

On decidability of a logic for order of magnitude qualitative reasoning with bidirectional negligibility. (English) Zbl 1361.68230

Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 255-266 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A note on the counter-example of Patterson-Wiedemann. (English) Zbl 1041.94016

Mullen, Gary L. (ed.) et al., Finite fields with applications to coding theory, cryptography and related areas. Proceedings of the 6th international conference on finite fields and applications, Oaxaca, México, May 21–25, 2001. Berlin: Springer (ISBN 3-540-43961-7/hbk). 214-219 (2002).
MSC:  94B75 11H71
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software