Treffer 1 – 3 von 3 für Suche 'Carvalho, Roberto L. de', 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
    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:
  2. 2
    A relational model towards the synthesis of data structures

    A relational model towards the synthesis of data structures von Carvalho, Roberto L. de, Furtado, Antonio L., Bórquez, Atendolfo P.

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A short introduction to the lambda-alpha-beta-eta-calculus with applications first draft

    A short introduction to the lambda-alpha-beta-eta-calculus with applications first draft von Bórquez, Atendolfo P., Carvalho, Roberto L. de

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: