Treffliste - TABLEAUX 2002 - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

Ett treff

Sortering

Forsidebilde

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings

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

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk