Conference papers (1)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 1994 Remove filter
filter_list Type (aggr.) Conference papers from 1994 to 1994 Computational Theory and Mathematics

1994

  1. TAS-D++: Syntactic trees transformations for automated theorem proving

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)