Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings /

Algorithmic Learning Theory 10th International Conference, ALT '99 Tokyo, Japan, December 6-8, 1999 Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Watanabe, Osamu (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Yokomori, Takashi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:	1st ed. 1999.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1720
Θέματα:	Artificial intelligence. Mathematical logic. Algorithms. Artificial Intelligence. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
Έκδοση: (1998)

Machine Learning: ECML 2003 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings /
Έκδοση: (2003)

Machine Learning: ECML 2002 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings /
Έκδοση: (2002)

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

Computational Learning Theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Έκδοση: (2001)

Machine Learning: ECML 2004 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings /
Έκδοση: (2004)

Computational Learning Theory 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

Learning Theory and Kernel Machines 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings /
Έκδοση: (2003)

Algorithmic Learning Theory 14th International Conference, ALT 2003, Sapporo, Japan, October 17-19, 2003, Proceedings /
Έκδοση: (2003)

Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /
Έκδοση: (1999)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Έκδοση: (2018)

Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /
Έκδοση: (2002)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

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)

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers /
Έκδοση: (2019)

Algorithmic Learning Theory 15th International Conference, ALT 2004, Padova, Italy, October 2-5, 2004. Proceedings /
Έκδοση: (2004)

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

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

Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings /
Έκδοση: (2001)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 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)

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018, Proceedings /
Έκδοση: (2018)

Grammatical Inference: Algorithms and Applications 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 Proceedings /
Έκδοση: (2000)

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

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
Έκδοση: (2019)

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings /
Έκδοση: (2019)

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

Algorithmic Learning Theory 8th International Workshop, ALT '97, Sendai, Japan, October 6-8, 1997. Proceedings /
Έκδοση: (1997)

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

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019)

Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
Έκδοση: (2001)

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
Έκδοση: (2000)

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
Έκδοση: (2019)

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

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /
Έκδοση: (2018)

Frontiers of Combining Systems 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 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)

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