Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /

Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Campbell, John A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Roanes-Lozano, Eugenio (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Edition:	1st ed. 2001.
Series:	Lecture Notes in Artificial Intelligence ; 1930
Subjects:	Artificial intelligence. Computer science-Mathematics. Mathematical logic. Algorithms. Artificial Intelligence. Symbolic and Algebraic Manipulation. Mathematical Logic and Formal Languages.
Online Access:	Full Text via HEAL-Link

Similar Items

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Published: (1998)

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
Published: (2004)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Published: (2002)

Theory and Application of Graph Transformations 6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers /
Published: (2000)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Published: (2002)

Algebraic Methodology and Software Technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings /
Published: (1999)

Computational Logic: Logic Programming and Beyond Essays in Honour of Robert A. Kowalski, Part II /
Published: (2002)

Rewriting Techniques and Applications 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001. Proceedings /
Published: (2001)

Rewriting Techniques and Applications 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings /
Published: (1999)

Rewriting Techniques and Applications 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings /
Published: (1997)

Mathematical Knowledge Management Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 /
Published: (2003)

Rewriting Techniques and Applications 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000 Proceedings /
Published: (2000)

Relational Methods in Computer Science 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, The Netherlands, October 16-21, 2001 Revised Papers /
Published: (2002)

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

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

Machine Learning: ECML 2003 14th European Conference on Machine Learning, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings /
Published: (2003)

Machine Learning: ECML 2002 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002. Proceedings /
Published: (2002)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Published: (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 /
Published: (2001)

Machine Learning: ECML 2004 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings /
Published: (2004)

Computational Learning Theory 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings /
Published: (2002)

Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
Published: (1998)

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 /
Published: (2003)

Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /
Published: (2002)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
Published: (2018)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Published: (2003)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Published: (2002)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Published: (2019)

Cryptography and Lattices International Conference, CaLC 2001, Providence, RI, USA, March 29-30, 2001. Revised Papers /
Published: (2001)

Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings /
Published: (2000)

Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /
Published: (1999)

Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings /
Published: (2001)

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

Recent Trends in Algebraic Development Techniques 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers /
Published: (2002)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Published: (2018)

Symbolic and Quantitative Approaches to Reasoning and Uncertainty European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings /
Published: (1999)

Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
Published: (2000)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Published: (2001)

Molecular Logic and Computational Synthetic Biology First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers /
Published: (2019)

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings /
Published: (2019)

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