Concept lattices : Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004 : proceedings /

Formal concept analysis : foundations and applications /
Published: (2005)

Formal concept analysis : 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /
Published: (2006)

Formal concept analysis : 5th international conference, ICFCA 2007, Clermont-Ferrand, France, February 12-16, 2007 : proceedings /
Published: (2007)

Formal concept analysis : third international conference, ICFCA 2005, Lens, France, February 14-18, 2005 : proceedings /
Published: (2005)

Modeling decisions for artificial intelligence : second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings /
Published: (2005)

Formal concept analysis : foundations and applications /
Published: (2005)

Introduction to lattice algebra : with applications in AI, pattern recognition, image analysis, and biomimetic neural networks /
by: Ritter, G. X., et al.
Published: (2021)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Published: (1984)

Learning theory : 17th Annual Conference on Learning Theory, COLT 2004, Banff, Canada, July 1-4, 2004 : proceedings /
Published: (2004)

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /
Published: (1994)

Proceedings of the Logic Colloquium : held in Aachen, July 18-23, 1983.
Published: (1984)

Concept lattices and their applications : fourth international conference, CLA 2006, Tunis, Tunisia, October 30 - November 1, 2006 ; selected papers /
Published: (2008)

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /
Published: (1986)

Dynamic modelling and control of national economies, 1983 : proceedings of the 4th IFAC/IFORS/IIASA conference and the 1983 SEDC Conference on Economic Dynamics and Control, Washington, D.C., USA, 17-19 June 1983 /
Published: (1984)

Simplicity theory /
by: Kim, Byunghan
Published: (2014)

Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 /
Published: (1977)

Modeling and control of economic systems 2001 : (SME 2001) : a proceedings volume from the 10th IFAC Symposium, Klagenfurt, Austria, 6-8 September 2001 /
Published: (2003)

Intensionality /
Published: (2005)

IMA journal of mathematical control and information.

Dynamic modelling and control of national economies, 1989 : selected papers from the 6th IFAC symposium, Edinburgh, UK, 27-29 June 1989 /
Published: (1990)

Cryptography and lattices : international conference, CaLC 2001, Providence RI, USA, March 29-30, 2001 : revised papers /
Published: (2001)

The theory of models proceedings.
Published: (1965)

Metaharmonic lattice point theory /
by: Freeden, W.
Published: (2011)

Mathematical knowledge management : third international conference, MKM 2004, Białowieża, Poland, September 19-21, 2004 : proceedings /
Published: (2004)

Computational financial mathematics using Mathematica : optimal trading in stocks and options /
by: Stojanovic, Srdjan
Published: (2003)

Proceedings of the IASTED International Symposium Modelling, Identification and Control : Grindelwald, Switzerland, February 7-10, 1989 /
Published: (1989)

Proceedings of the IASTED International Symposium Modelling, Identification and Control : Grindelwald, Switzerland, February 17-19, 1988 /
Published: (1988)

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Published: (1970)

Sets, models and recursion theory : Proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965 /
Published: (1967)

Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London /
Published: (2007)

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /
Published: (1996)

Logica universalis : towards a general theory of logic /
Published: (2005)

Global optimization and constraint satisfaction : first International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2-4, 2002 : revised selected papers /
Published: (2003)

Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings /
Published: (2005)

Computer and information sciences, ISCIS 2003 : 18th International Symposium Antalya, Turkey, November 3-5, 2003 : proceedings /
Published: (2003)

Advances in artificial intelligence-- IBERAMIA 2004 : 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004 : proceedings /
Published: (2004)