Formal concept analysis : :: SCD d'Orléans

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. : proceedings

Formal concept analysis : 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. : proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Formal Concept Analysis, ICFCA 2013, held in Dresden, Germany, in May 2013. The 15 regular papers presented in this volume were carefully reviewed and selected from 46 submissions. The papers present current resea...

保存先:

書誌詳細
第一著者:	Cellier, Peggy, 1981-...., chercheuse en informatique
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin, Heidelberg : Springer Berlin Heidelberg [20..]. Cham : Springer Nature
版:	1st ed. 2013.
シリーズ:	Lecture Notes in Artificial Intelligence 7880
主題:	Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Formal Concept Analysis, 9783642383168 • Formal Concept Analysis, Texte imprimé, 9783642383182

類似資料

Formal Modeling and Analysis of Timed Systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
著者:: Braberman, Víctor
出版事項: (2013)

Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings

The formal analysis of natural languages : proceedings of the first International conference [Rocquencourt, on April 27-29, 1970]
著者:: Gross, Maurice, 1934-2001, linguiste
出版事項: (1973)

Formal Methods: Foundations and Applications : 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings
出版事項: (2013)

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

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21 25, 2002 : proceedings

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Integrated formal methods : 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004 : proceedings
著者:: Boiten, Eerke, 1966-

Graph-theoretic concepts in computer science : 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers
出版事項: (2013)

Formal methods and software engineering : 6th international conference on formal engineering methods, ICFEM 2004, Seattle, WA, USA, november 8-12, 2004 : proceedings

Formal syntax : proceedings of the 1976 MSSB-UC [Mathematical social science board - University of California] Irvine Conference on the formal syntax of natural language, June 9-11, 1976, Newport Beach, California
出版事項: (1977)

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings

Advanced concepts for intelligent vision systems : 15th International Conference, ACIVS 2013, Poznań, Poland, October 28-31, 2013 : proceedings
著者:: Blanc-Talon, Jaques
出版事項: (2013)

Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
出版事項: (2005)

Image analysis : 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013 : proceedings
著者:: Kamarainen, Joni-Kristian
出版事項: (2013)

Automated Technology for Verification and Analysis : 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings

Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS 99, Bamberg, Germany, May 26 28, 1999 : proceedings

Image analysis and recognition : 10th International Conference, ICIAR 2013, Póvoa do Varzim, Portugal, June 26-28, 2013 : proceedings
著者:: Kamel, Mohamed
出版事項: (2013)

Multiple Classifier Systems : 11th International Workshop, MCS 2013, Nanjing, China, May 15-17, 2013. Proceedings
著者:: Zhou, Zhi-Hua, 19..-
出版事項: (2013)

Euro-Par 2013 Parallel Processing : 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings
著者:: Wolf, Felix

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II
著者:: Wilson, Richard Michael, 1945-
出版事項: (2013)

Computer Analysis of Images and Patterns : 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I
著者:: Wilson, Richard Michael, 1945-
出版事項: (2013)

Information security practice and experience : 9th International conference, ISPEC 2013, Lanzhou, China, May 12-14, 2013. Proceedings
著者:: Deng, Robert, 19..-
出版事項: (2013)

Communications and Multimedia Security : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings
著者:: Decker, Bart
出版事項: (2013)

Smart Product Engineering : Proceedings of the 23rd CIRP Design Conference, Bochum, Germany, March 11th - 13th, 2013

Information processing in computer-assisted interventions : 4th International Conference, IPCAI 2013, Heidelberg, Germany, June 26, 2013 : proceedings
著者:: Barratt, Dean
出版事項: (2013)

Language Processing and Knowledge in the Web : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings
著者:: Gurevych, Iryna

Advances in Spatial and Temporal Databases : 13th International Symposium, SSTD 2013, Munich, Germany, August 21-23, 2013. Proceedings
著者:: Nascimento, Mario A.
出版事項: (2013)

Le formalisme en action : aspects mathématiques et philosophiques
著者:: Benoist, Jocelyn, 1968-...., philosophe
出版事項: (2013)

Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7 9, 1998 : proceedings

Pattern recognition : 35th German Conference, GCPR 2013, Saarbrücken, Germany, September 3-6, 2013 : proceedings
著者:: Weickert, Joachim
出版事項: (2013)

The Concept of heresy in the Middle Ages (11th-13th c.) : proceedings of the international conference Louvain, May 13-16, 1973
出版事項: (1983)

The Semantic Web: Semantics and Big Data : 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
著者:: Cimiano, Philipp
出版事項: (2013)

Detection of Intrusions and Malware, and Vulnerability Assessment : 10th International Conference, DIMVA 2013, Berlin, Germany, July 18-19, 2013. Proceedings
著者:: Rieck, Konrad
出版事項: (2013)

Formal methods in programming and their applications : international conference, Academgorodok, Russia June 28 July 2, 1993 : proceedings

Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings

Mathematical interpretation of formal systems
著者:: Skolem, Thoralf, 1887-1963, 等
出版事項: (1971)

Pattern recognition and image analysis : 6th Iberian Conference, IbPRIA 2013, Funchal, Madeira, Portugal, June 5-7, 2013 : proceedings
著者:: Sanches, Joao Miguel
出版事項: (2013)

Formal methods in computer-aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales