Suchergebnisse - Heguiabehere, Juan

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

    HyLoRes: a hybrid logic prover based on direct resolution
    von Areces, Carlos, Heguiabehere, Juan

    Veröffentlicht 2002
    Per Fernleihe bestellen
    Buch


    Gespeichert in:

Suchwerkzeuge: