Verfasser Suchresultate :: Subito Katalog

1

Calculational Proofs in Relational Graphical Linear Algebra

von Paixao, Joao
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: