Treffer 1 - 3 von 3 für Suche 'DIGRICOLI, V. J', Suchdauer: 0,27s Treffer weiter einschränken
  1. 1
    Equality-based binary resolution

    Equality-based binary resolution von DIGRICOLI, V. J, HARRISON, M. C

    Veröffentlicht in Journal of the ACM

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    LIM+ challenge problems by RUE hyper-resolution

    LIM+ challenge problems by RUE hyper-resolution von Digricoli, Vincent J., Kochendorfer, Eugene


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    The rue theorem-proving system: The complete set of LIM+ challenge problems

    The rue theorem-proving system: The complete set of LIM+ challenge problems von Digricoli, Vincent J.

    Veröffentlicht in Journal of automated reasoning

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: