Treffer 1 – 3 von 3 für Suche 'Caferra, Ricardo 1945-', Suchdauer: 0,05s 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
    Theses on automated theorem proving

    Theses on automated theorem proving von Bayerl, Stephan, Caferra, Ricardo 1945-, Linden, Frank van der

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Automated model building

    Automated model building von Caferra, Ricardo 1945-, Leitsch, Alexander, Peltier, Nicholas

    Veröffentlicht 2004
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Improvement of recursive programs from a logic programming point of view

    Improvement of recursive programs from a logic programming point of view von Fronhöfer, Bertram, Caferra, Ricardo 1945-, Jacquet, Philippe 20. Jh./21. Jh

    Veröffentlicht 1984
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: