opac, catalogo, online,servizi, biblioteca, sebina

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings

International conference on analytic tableaux and related methods <2000 ; Saint Andrews, Regno unito>

Springer Publishing Company - 2000

  • Lo trovi in
  • Scheda
  • Unimarc
USMJ8@Informatica

Documento disponibile

Richiesta di prestito

Inventario
140 12461
Collocazione
INF. CV17. 1847