Výsledky hledání pro autora

1

Obálka

Artificial intelligence, automated reasoning, and symbolic computation : Joint International Conferences AISC 2002 and Calculemus 2002 : Marseille, France, July 1-5, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...Calmet, Jacques, 1941-...”

Kniha

2

Obálka

Computer algebra : EUROCAM '82 : European Computer Algebra Conference : Marseille, France, April 5-7, 1982 /

Vydáno 1982

Další autoři: '; “...Calmet, Jacques, 1941-...”

Kniha

3

Obálka

Artificial intelligence and symbolic computation : 8th International Conference, AISC 2006 : Beijing, China, September 20-22, 2006 : proceedings /

Vydáno 2006

Další autoři: '; “...Calmet, Jacques, 1941-...”

Kniha

4

Obálka

Mathematical methods in computer science : essays in memory of Thomas Beth /

Vydáno 2008

Další autoři: '; “...Calmet, Jacques, 1941-...”

Kniha

5

Obálka

Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings /

Vydáno 1996

Další autoři: '; “...Calmet, Jacques, 1941-...”

Kniha