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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Oliveira, Arlindo L. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1891
Θέματα:	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:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Grammatical Inference 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998, Proceedings /
Έκδοση: (1998)

Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings /
Έκδοση: (1999)

Automata Implementation 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Germany, July 17-19, 2001 Revised Papers /
Έκδοση: (2001)

Automata Implementation Second International Workshop on Implementing Automata, WIA'97, London, Ontario, Canada, September 18-20, 1997, Revised Papers /
Έκδοση: (1998)

Grammatical Inference: Algorithms and Applications 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings /
Έκδοση: (2004)

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Έκδοση: (2002)

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 /
Έκδοση: (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 /
Έκδοση: (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 /
Έκδοση: (2002)

Pattern Recognition 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10-13, 2019, Proceedings /
Έκδοση: (2019)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Έκδοση: (2001)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
Έκδοση: (2018)

Automated Deduction in Geometry Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers /
Έκδοση: (2001)

Rough Sets and Current Trends in Computing Second International Conference, RSCTC 2000 Banff, Canada, October 16-19, 2000 Revised Papers /
Έκδοση: (2001)

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Έκδοση: (2019)

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
Έκδοση: (2019)

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
Έκδοση: (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 /
Έκδοση: (2018)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Έκδοση: (2001)

Rough Sets and Current Trends in Computing Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Έκδοση: (2000)

Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings /
Έκδοση: (2000)

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

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
Έκδοση: (1997)

Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /
Έκδοση: (2000)

Types for Proofs and Programs International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers /
Έκδοση: (2002)

Machine Learning and Data Mining in Pattern Recognition Second International Workshop, MLDM 2001, Leipzig, Germany, July 25-27, 2001. Proceedings /
Έκδοση: (2001)

Computer Science Logic 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings /
Έκδοση: (2000)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Έκδοση: (2000)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Έκδοση: (2003)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Έκδοση: (2002)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing 9th International Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings /
Έκδοση: (2003)

Applications of Evolutionary Computing EvoWorkshops 2002: EvoCOP, EvoIASP, EvoSTIM/EvoPLAN Kinsale, Ireland, April 3-4, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Έκδοση: (2001)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

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

Cannot write session to /tmp/vufind_sessions/sess_6h3me0qpqu9s8aln1k7q76tooe