Showing 1 - 14 results of 14 for search '"OTROS"', query time: 0.04s Refine Results
  1. 1

    Automated deduction, CADE- 13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  2. 2

    Conditional term rewriting systems /

    Published 1993
    Subjects:
    Conference Proceeding Book
  3. 3

    Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings

    Published 1996
    Subjects:
    Conference Proceeding Book
  4. 4

    Word equations and related topics /

    Published 1992
    Subjects:
    Conference Proceeding Book
  5. 5
  6. 6

    Computing and combinatorics /

    Published 1997
    Subjects:
    Conference Proceeding Book
  7. 7

    Computer aided systems theory - EUROCAST'95 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  8. 8

    Dependable computing--EDCC-2 / second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings /

    Published 1996
    Subjects:
    Conference Proceeding Book
  9. 9

    Static analysis /

    Published 1996
    Subjects:
    Conference Proceeding Book
  10. 10

    Computing and combinatorics /

    Published 1996
    Subjects:
    Conference Proceeding Book
  11. 11

    Computer aided systems theory - CAST'94 /

    Published 1996
    Subjects:
    Conference Proceeding Book
  12. 12

    Graph grammars and their application to computer science /

    Published 1996
    Subjects: “…Gramáticas y otros sistemas de reescritura.…”
    Conference Proceeding Book
  13. 13
  14. 14

    Congreso Latinoamericano de Derecho Penal y Criminología (15 : 2003 : Córdoba).

    Published 2003
    Subjects:
    Conference Proceeding Book