Treffliste - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

7 treff

Sortering

Forsidebilde

Artificial intelligence and symbolic computation : 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006 : proceedings

AISC 2006
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (4120)
Bok Engelsk c2006

Ledig 1/1

Forsidebilde

Artificial intelligence, automated reasoning, and symbolic computation : joint international conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 : proceedings

AISC 2002
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2385)
Bok Engelsk c2002

Ledig 1/1

Forsidebilde

Artificial intelligence and symbolic computation : International Conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

AISC 2000
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1930)
Bok Engelsk c2001

Ledig 1/1

Forsidebilde

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

DMTCS 2003
Inngår i serie: Lecture notes in computer science (2731)
Bok Engelsk c2003

Ledig 1/1

Forsidebilde

Artificial intelligence and symbolic computation : 7th international conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

AISC 2004
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3249)
Bok Engelsk c2004

Ledig 1/1

Forsidebilde

Symbolic and numerical scientific computation : second international conference, SNSC 2001, Hagenberg, Austria, September 12-14, 2001 : revised papers

SNSC 2001
Inngår i serie: Lecture notes in computer science (2630)
Bok Engelsk c2003

Ledig 1/1

Proceedings of Symbolic Computation Conferences : summer 2007

Symbolic Computation Conference
Engelsk 2007

Ledig 1/1

Søk og bestill fra andre bibliotek: