Treffer 1 - 2 von 2 für Suche 'Marcelino, Sérgio', Suchdauer: 0,20s
Treffer weiter einschränken
-
1von Greati, Vitor
Veröffentlicht in TABLEAUX (30. : 2021 : Online) Automated reasoning with analytic tableaux and related methods (2021)UnknownFormat -
2von Marcelino, Sergio
Veröffentlicht in LFCS (2022 : Deerfield Beach, Fla.) Logical foundations of computer science (2022)UnknownFormat