Everand Logo

Benvenuto in Everand!

  • Libri creati by Christoph Walther

    A Many-Sorted Calculus Based on Resolution and Paramodulation
    0% di A Many-Sorted Calculus Based on Resolution and Paramodulation completato
    E-book
    A Many-Sorted Calculus Based on Resolution and Paramodulation
    Christoph Walther