Logical Proving in PVS
28th International Conference on Automated Deduction ; 2021 ; Virtual, US
Sonstige
Keine Angabe
Englisch
Engineering Index Backfile | 1969
Engineering Index Backfile | 1966
|IuD Bahn | 2002
|Emerald Group Publishing | 1971
Emerald Group Publishing | 1969