Verfasser Suchresultate :: Subito Katalog

1

Granular media : between fluid and solid

von Andreotti, Bruno
Veröffentlicht 2013

Inhaltstext
Cover
Inhaltsverzeichnis

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Carcara: An efficient proof checker and elaborator for SMT proofs in the Alethe format

von Andreotti, Bruno
Veröffentlicht in TACAS (29. : 2023 : Paris) Tools and algorithms for the construction and analysis of systems ; Part 1 (2023)

UnknownFormat

Bestellen

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: