Author: J. Calmet
Publisher: Springer
Keywords: computer, algebra, lecture, science, april, notes, marseilles, eurocam, european, conference, france
Number of Pages: 301
Published: 1982-10-25
List price: $57.95
ISBN-10: 3540116079
ISBN-13: 9783540116073

Author: Jaques Calmet
Publisher: Springer
Keywords: proceedings, july, france, lecture, notes, science, computer, grenoble, aaecc, error, algorithms, correcting, codes, conference, international, algebraic
Number of Pages: 432
Published: 1986-08-14
List price: $71.95
ISBN-10: 3540167765
ISBN-13: 9783540167761

Authors:Jacques Calmet, John A. Campbell,
Publisher: Springer
Keywords: proceedings, august, germany, lecture, notes, science, computer, karlsruhe, aismc, symbolic, intelligence, mathematical, computing, conference, international, artificial
Number of Pages: 313
Published: 1993-11-05
List price: $69.95
ISBN-10: 3540573224
ISBN-13: 9783540573227

This volume contains the papers, updated in some cases, presented at the first AISMC (Artificial Intelligence and Symbolic Mathematical Computations)conference, held in Karlsruhe, August 3-6, 1992. This was the first conference to be devoted to such a topic after a long period when SMC made no appearance in AI conferences, though it used to be welcome in the early days of AI. Some conferences were held recently on mathematics and AI, but none was directly comparable in scope to this conference. Because of the novelty of the domain, authors were

Authors:Serge Autexier, Jacques Calmet, David Delahaye, P.D.F
Publisher: Springer
Keywords: conference, international, lecture, notes, intelligence, mkm, artificial, symposium, computer, mathematics, aisc, intelligent, calculemus
Number of Pages: 486
Published: 2010-09-10
List price: $95.00
ISBN-10: 3642141277
ISBN-13: 9783642141270

This book constitutes the joint refereed proceedings of the 10th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2010, the 17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2010, and the 9th International Conference on Mathematical Knowledge Management, MKM 2010. All submissions passed through a rigorous review process. From the 25 papers submitted to AISC 2010, 9 were selected for presentation at the conference and inclusion in the proceedings volume. A total of 14 papers were submitted to Calculemus, of which 7

Authors:Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade,
Publisher: Springer
Keywords: computer, science, notes, theoretical, general, lecture, issues, thomas, methods, essays, memory, mathematical, beth
Number of Pages: 191
Published: 2008-12-18
List price: $69.95
ISBN-10: 3540899936
ISBN-13: 9783540899938

This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of Thomas Beth. The themes of the conference reflected the many interests of Thomas Beth. Although, these interests might seem diverse, mathematical methods and especially algebra as a language constituted the common denominator of all of his scientific achievements. The 12 contributed talks presented were carefully selected from 30 submissions and cover the topics cryptography, designs, qua