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

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

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pontelli, Enrico (Editor, http://id.loc.gov/vocabulary/relators/edt), Vitor, Santos C. (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 Computer Science, 1753
Subjects:	Computers. Programming languages (Electronic computers). Computer programming. Computer logic. Software engineering. Artificial intelligence. Theory of Computation. Programming Languages, Compilers, Interpreters. Programming Techniques. Logics and Meanings of Programs. Software Engineering. Artificial Intelligence.
Online Access:	Full Text via HEAL-Link

Similar Items

Practical Aspects of Declarative Languages Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11-12, 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)

Practical Aspects of Declarative Languages First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings /
Published: (1998)

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

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)

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

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

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Published: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Published: (2002)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Published: (1997)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Published: (2004)

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
Published: (2018)

Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
Published: (2019)

Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
Published: (2000)

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

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised Selected Papers /
Published: (2018)

Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings /
Published: (2001)

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings /
Published: (2018)

Meta-Level Architectures and Reflection Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings /
Published: (1999)

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

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

Practical Aspects of Declarative Languages 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings /
Published: (2003)

Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
Published: (1999)

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

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

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
Published: (2001)

Integrated Formal Methods Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings /
Published: (2000)

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

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures /
Published: (2002)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /
Published: (1997)

Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings /
Published: (2000)

Integrated Formal Methods Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. /
Published: (2002)

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

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /
Published: (2002)

Constraints in Computational Logics: Theory and Applications International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures /
Published: (2001)

Compiler Construction 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
by: Wilhelm, Reinhard, et al.
Published: (2001)

Compiler Construction 8th International Conference, CC'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /
Published: (1999)

Interactive Theorem Proving 9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
Published: (2018)

Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers /
Published: (2019)

Practical Aspects of Declarative Languages 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002. Proceedings /
Published: (2002)

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