Advances in Computing Science - ASIAN'98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings /

Advances in Computing Science - ASIAN'98 4th Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998, Proceedings /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hsiang, Jieh (Editor, http://id.loc.gov/vocabulary/relators/edt), Ohori, Atsushi (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
Edition:	1st ed. 1998.
Series:	Lecture Notes in Computer Science, 1538
Subjects:	Computers. Programming languages (Electronic computers). Artificial intelligence. Theory of Computation. Programming Languages, Compilers, Interpreters. Artificial Intelligence.
Online Access:	Full Text via HEAL-Link

Similar Items

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

Practical Aspects of Declarative Languages 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings /
Published: (2019)

Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers /
Published: (1999)

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Published: (1997)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Published: (1998)

Advances in Computing Science - ASIAN'97 Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997. Proceedings /
Published: (1997)

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
Published: (2018)

Computational Intelligence. Theory and Applications International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings /
Published: (2001)

Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
Published: (1997)

Computer Science Logic 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September /
Published: (2002)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Published: (2000)

Algebraic and Logic Programming 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings /
Published: (1997)

Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings /
Published: (2019)

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
Published: (2018)

Correct System Design Recent Insights and Advances /
Published: (1999)

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

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Published: (2001)

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

Isabelle/HOL A Proof Assistant for Higher-Order Logic /
by: Nipkow, Tobias, et al.
Published: (2002)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Published: (2002)

Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
Published: (1999)

Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
Published: (1998)

Foundations of Computer Science Potential-Theory-Cognition /
Published: (1997)

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

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

Automatic Tuning of Compilers Using Machine Learning
by: Ashouri, Amir H., et al.
Published: (2018)

Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 - November 1, 2018, Proceedings /
Published: (2018)

Euro-Par'98 Parallel Processing 4th International Euro-Par Conference Southampton, UK, September 1-4, 1998 Proceedings /
Published: (1998)

PRICAI 2019: Trends in Artificial Intelligence 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I /
Published: (2019)

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV /
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II /
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I /
Published: (2018)

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III /
Published: (2018)

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings /
Published: (2019)

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
Published: (2018)

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
Published: (2018)

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
Published: (2019)

High Performance Computing for Computational Science - VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers /
Published: (2019)

Advances in Computing Science - ASIAN'99 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings /
Published: (1999)

Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
Published: (1999)

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

Cannot write session to /tmp/vufind_sessions/sess_u7teri9p5be3s9sa3thqof6idv