Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, M...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	He, Jifeng (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Sato, Masahiko (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Computer Science, 1961
Θέματα:	Computers. Mathematical logic. Computer logic. Artificial intelligence. Computer communication systems. Algorithms. Theory of Computation. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Artificial Intelligence. Computer Communication Networks. 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)

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Έκδοση: (1998)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Έκδοση: (2002)

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

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

DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /
Έκδοση: (2001)

Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers /
Έκδοση: (1997)

Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

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

Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
Έκδοση: (2000)

Computer Science Logic 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings /
Έκδοση: (1999)

Computer Science - Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, Proceedings /
Έκδοση: (2019)

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

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)

Advances in Learning Classifier Systems Third International Workshop, IWLCS 2000, Paris, France, September 15-16, 2000. Revised Papers /
Έκδοση: (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)

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

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

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

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)

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

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
Έκδοση: (2002)

FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
Έκδοση: (2000)

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

Applications of Evolutionary Computation 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings /
Έκδοση: (2019)

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

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

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

Isabelle/HOL A Proof Assistant for Higher-Order Logic /
ανά: Nipkow, Tobias, κ.ά.
Έκδοση: (2002)

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

Towards Efficient Fuzzy Information Processing Using the Principle of Information Diffusion /
ανά: Huang, Chongfu, κ.ά.
Έκδοση: (2002)

Machines, Computations, and Universality Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings /
Έκδοση: (2001)

Algorithms and Architectures for Parallel Processing 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
Έκδοση: (2018)

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
Έκδοση: (1997)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

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 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019)

Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /
Έκδοση: (2002)

Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
Έκδοση: (1997)

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