Grammatical Inference: Algorithms and Applications 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings /

Grammatical Inference: Algorithms and Applications 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Oliveira, Arlindo L. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:	1st ed. 2000.
Series:	Lecture Notes in Artificial Intelligence ; 1891
Subjects:	Programming languages (Electronic computers). Pattern recognition. Artificial intelligence. Mathematical logic. Algorithms. Programming Languages, Compilers, Interpreters. Pattern Recognition. Artificial Intelligence. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Online Access:	Full Text via HEAL-Link

Similar Items

Grammatical Inference 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings /
Published: (1998)

Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings /
Published: (1999)

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Published: (2002)

Grammatical Inference: Algorithms and Applications 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings /
Published: (2004)

Automata Implementation 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers /
Published: (2001)

Automata Implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers /
Published: (1998)

Engineering of Intelligent Systems 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001 Budapest, Hungary, June 4-7, 2001 Proceedings /
Published: (2001)

Developments in Applied Artificial Intelligence 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings /
Published: (2003)

Developments in Applied Artificial Intelligence 15th International Conference on Industrial and Engineering. Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2002, Cairns, Australia, June 17-20, 2002. Proceedings /
Published: (2002)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
Published: (2018)

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
Published: (2001)

Pattern Recognition 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings /
Published: (2019)

Rough Sets and Current Trends in Computing Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers /
Published: (2001)

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Published: (2019)

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
Published: (2019)

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
Published: (2019)

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings /
Published: (2018)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Published: (2001)

Rough Sets and Current Trends in Computing Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings /
Published: (2002)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Published: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Published: (2000)

Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings /
Published: (1997)

Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings /
Published: (2000)

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
Published: (1997)

Genetic Programming 6th European Conference, EuroGP 2003, Essex, UK, April 14-16, 2003. Proceedings /
Published: (2003)

Artificial Evolution Third European Conference, AE '97, Nimes, France, October 22-24, 1997, Selected Papers /
Published: (1998)

Genetic Programming 5th European Conference, EuroGP 2002, Kinsale, Ireland, April 3-5, 2002. Proceedings /
Published: (2002)

Genetic Programming 4th European Conference, EuroGP 2001 Lake Como, Italy, April 18-20, 2001 Proceedings /
Published: (2001)

Multiple Classifier Systems First International Workshop, MCS 2000 Cagliari, Italy, June 21-23, 2000 Proceedings /
Published: (2000)

Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /
Published: (2000)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Published: (2018)

Machine Learning and Data Mining in Pattern Recognition Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001. Proceedings /
Published: (2001)

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers /
Published: (2019)

Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Published: (2002)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Published: (2000)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Published: (2001)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings /
Published: (2003)

Applications of Evolutionary Computing EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3-4, 2002. Proceedings /
Published: (2002)

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Published: (2000)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Published: (2003)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών