Verfasser Suchresultate :: Subito Katalog

1

Nested Sequents for Quantified Modal Logics

von Lyon, Tim S.
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: