skip to main content
Tipo de recurso Ver resultados con: Ver resultados con: Sumario

Automated Deduction – CADE-19

International Conference on Automated Deduction Franz Baader

Springer Berlin Heidelberg 2003

Acceso en línea

Autentícate para publicar un comentario

Autentícate para Añadir nuevas etiquetas

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora