Treffliste - TABLEAUX 99 - 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'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings

TABLEAUX '99
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1617)
Bok Engelsk c1999

Ikke det du leter etter?

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