Suchergebnisse - Caferra, Ricardo 1945-

  • Treffer 1 – 4 von 4
Treffer filtern
  1. 1
    Buchumschlag

    Logic for computer science and artificial intelligence
    von Caferra, Ricardo 1945-

    Veröffentlicht 2011
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    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


    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2004
    Buch


    Gespeichert in:

Suchwerkzeuge: