Showing 1 - 4 results of 4 for search 'Passos, Emmanuel', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Applications of quantifier elimination to mechanical theorem proving

    Applications of quantifier elimination to mechanical theorem proving by Galda, Klaus, Passos, Emmanuel P.

    Published 1972
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Efeitos de erros no cálculo de zeros de polinòmios

    Efeitos de erros no cálculo de zeros de polinòmios by Passos, Emmanuel P.

    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Data mining um guia Prático

    Data mining um guia Prático by Goldschmidt, Ronaldo, Passos, Emmanuel

    Published 2005
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Communication predicates a complete strategy for resolution-based theorem proverbs; an evaluation of an implementation

    Communication predicates a complete strategy for resolution-based theorem proverbs; an evaluation of an implementation by Carvalho, Roberto L. de, Passos, Emmanuel P., Peixoto, Silvia R.

    Published 1978
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: