Verfasser Suchresultate :: Subito Katalog

1

Efficient SAT-based Proof Search in Intuitionistic Propositional Logic

von Fiorentini, Camillo
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

SAT-Based Proof Search in Intermediate Propositional Logics

von Fiorentini, Camillo
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: