- Tytuł:
- JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
- Autorzy:
-
Ferrari, M.
Fiorentini, C.
Fiorino, G. - Data publikacji:
- 2017
- Słowa kluczowe:
-
theorem provers
Java frameworks - Pokaż więcej
- Dostawca treści:
- BazTech