Treffer 1 – 4 von 4 für Suche 'Passos, Emmanuel', Suchdauer: 0,02s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Applications of quantifier elimination to mechanical theorem proving

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

    Veröffentlicht 1972
    Buch Fernleihe Bestellen


    Gespeichert 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 von Passos, Emmanuel P.

    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2005
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert 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 von Carvalho, Roberto L. de, Passos, Emmanuel P., Peixoto, Silvia R.

    Veröffentlicht 1978
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: