Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday

Weitere Verfasser: DE-634
DE-858
DE-Aug4
DE-1050
DE-573
DE-M347
DE-92
DE-898
DE-860
DE-861
DE-863
DE-862
DE-523
DE-91
DE-384
DE-473
DE-19
DE-355
DE-703
DE-20
DE-706
DE-29
DE-739
URL des Erstveröffentlichers

Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings

Weitere Verfasser:
Volltext