Logical Proving in PVS
28th International Conference on Automated Deduction ; 2021 ; Virtual, US
Miscellaneous
No indication
English
Engineering Index Backfile | 1969
Engineering Index Backfile | 1966
|IuD Bahn | 2002
|Emerald Group Publishing | 1971
Emerald Group Publishing | 1936