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

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings
Автор
 
Год
 
Страниц
 
285
ISBN
 
ISBN10:3540302107

Описание:

This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers are devoted to all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia.

Похожие книги

The Swaps and Financial Derivatives Library: Products, Pricing, Applications and Risk Management 3rd Edition Revised, Box SetThe Swaps and Financial Derivatives Library: Products, Pricing, Applications and Risk Management 3rd Edition Revised, Box Set
Автор: Satyajit Das
Год: 2005
Computer Algebra SystemComputer Algebra System
Год: 2011
The The "Tragic Mulatta" Revisited: Race and Nationalism in Nineteenth-Century Antislavery Fiction
Автор: Eve Allegra Raimon
Год: 2004
The Medieval Flower BookThe Medieval Flower Book
Автор: Celia Fisher
Год: 2008
Mathematics and computation, a contemporary view: The Abel symposium 2006Mathematics and computation, a contemporary view: The Abel symposium 2006
Автор: Munthe-Kaas H., Owren B. (eds.)
Год: 2008
Proceedings of the Summer School in Logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic LogicProceedings of the Summer School in Logic, Leeds, 1967 N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic
Автор: Martin H. Löb
Год: 1968