gefundene Verfasser Caferra, R.

Caferra, Ricardo 1945-
Caferra, Ricardo
Bayerl, Stephan
Fronhöfer, Bertram
Jacquet, Philippe 20. Jh./21. Jh
Alle anzeigen »
Leitsch, Alexander
Linden, Frank van der
Peltier, Nicholas

Treffer 1 - 6 von 6 für Suche 'Caferra, R.', Suchdauer: 0,19s Treffer weiter einschränken
  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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Logic for computer science and artificial intelligence

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

    Veröffentlicht 2011
    lizenzpflichtig
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Automated model building

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

    Veröffentlicht 2004
    Buch

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Logic for computer science and artificial intelligence

    Logic for computer science and artificial intelligence von Caferra, Ricardo

    Veröffentlicht 2011
    DE-861
    DE-473
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Automated Model Building

    Automated Model Building von Caferra, Ricardo

    Veröffentlicht 2004

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: