Treffliste - TABLEAUX 2000 - 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 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

TABLEAUX 2000
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1847)
Bok Engelsk c2000

Ikke det du leter etter?

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