×

Found 10 Documents (Results 1–10)

100
MathJax

The first-order logical environment. (English) Zbl 1352.68230

Pfeiffer, Heather D. (ed.) et al., Conceptual structures for STEM research and education. 20th international conference on conceptual structures, ICCS 2013, Mumbay, India, January 10–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35785-5/pbk; 978-3-642-35786-2/ebook). Lecture Notes in Computer Science 7735, 210-230 (2013).
MSC:  68T27 68T30 68U35
PDF BibTeX XML Cite
Full Text: DOI arXiv

Bipartite Ferrers-graphs and planar concept lattices. (English) Zbl 1132.06001

Kuznetsov, Sergei O. (ed.) et al., Formal concept analysis. 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12–16, 2007. Proceedings. (ISBN 978-3-540-70828-5/pbk). Lecture Notes in Computer Science 4390. Lecture Notes in Artificial Intelligence, 313-327 (2007).
MSC:  06B05 05C10 68T30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Classification