Artificial Intelligence and Symbolic Mathematical Computation International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings

Artificial Intelligence and Symbolic Mathematical Computation International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings / edited by Jaques Calmet, John A. Campbell, Jochen Pfalzgraf.

This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996. The 19 revised full papers presented in the book were carefully selected by the program committee...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Calmet, Jaques (Editor), Campbell, John A. (Editor), Pfalzgraf, Jochen (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:	1st ed. 1996.
Series:	Lecture Notes in Computer Science, 1138 Springer eBook Collection.
Subjects:	Artificial intelligence. Computers. Computer science—Mathematics. Algorithms. Mathematical logic. Computational complexity. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

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 International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers
Published: (2001)

Soft Computing Integrating Evolutionary, Neural, and Fuzzy Systems
by: Tettamanzi, Andrea, et al.
Published: (2001)

Fuzzy Logic in Artificial Intelligence 8th Austrian Artificial Intelligence Conference, FLAI'93, Linz, Austria, June 28-30, 1993. Proceedings
Published: (1993)

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

Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Published: (1993)

Computational Intelligence: Theory and Applications International Conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999, Proceedings
Published: (1999)

KI 2019: Advances in Artificial Intelligence 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings
Published: (2019)

Artificial Intelligence and Symbolic Computation 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
Published: (2018)

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Published: (2006)

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

Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Published: (1995)

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers
Published: (2019)

Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Published: (1989)

Unconventional Computation and Natural Computation 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings
Published: (2012)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Published: (2016)

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Published: (2014)

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Brazil, October 23-27, 2006
Published: (2006)

Computational Intelligence. Theory and Applications International Conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 Proceedings
Published: (1997)

Artificial Intelligence. An International Perspective An International Perspective
by: Bramer, Max
Published: (2009)

Artificial Intelligence and Soft Computing — ICAISC 2004 7th International Conference Zakopane, Poland, June 7–11, 2004 Proceedings
Published: (2004)

Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Published: (1990)

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

KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings
Published: (2017)

Lectures on Logic and Computation ESSLLI 2010, Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Published: (2012)

EUROCAL '87 European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings
Published: (1989)

Developments in Applied Artificial Intelligence 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings
Published: (2003)

Artificial Intelligence and Soft Computing – ICAISC 2006 8th International Conference, Zakopane, Poland, June 25-29, 2006, Proceedings
Published: (2006)

Fundamentals of Artificial Intelligence An Advanced Course
by: Bibel, Wolfgang, et al.
Published: (1986)

The Calculus of Computation Decision Procedures with Applications to Verification
by: Bradley, Aaron R., et al.
Published: (2007)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
Published: (2009)

Pristine Perspectives on Logic, Language and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions, Selected Papers
Published: (2014)

Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings
Published: (2000)

Computability, complexity, logic
by: Börger, E. (Egon), 1946-
Published: (1989)

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

Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings
Published: (2011)

Graph Theory, Computational Intelligence and Thought Essays Dedicated to Martin Charles Golumbic on the Occasion of His 60th Birthday
Published: (2009)

Mathematical Foundations of Computer Science 1986 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings
Published: (1986)

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings
Published: (2016)

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers
Published: (2019)