Normal view
MARC view
Demostració automàtica de teoremes (Topical Term)
Machine generated authority record
Work cat.: (AT-ISTA): IJCAR (Conference) (11th : 2022 : Haifa, Israel) 976933, Automated reasoning :