Suchergebnisse - Robinson, John A. 1930-2016

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

    Logic: form and function: the mechanization of deductive reasoning
    von Robinson, John A. 1930-2016

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Logic programming, past, present and future
    von Robinson, John A. 1930-2016

    Veröffentlicht 1983
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Logic, form and function: the mechanization of deductive reasoning
    von Robinson, John A. 1930-2016

    Veröffentlicht 1979
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Resolution: [working material for the lectures of J. Alan Robinson, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]
    von Robinson, John A. 1930-2016

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Handbook of automated reasoning

    Veröffentlicht 2001
    Weitere beteiligte Personen: “… Robinson, John A. 1930-2016 …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: