Superposition for Higher-Order Logic
BENTKAMP, ALEXANDER
EAN
9783032016690
Editorial
Year of edition
2027
Idiom
English
Collection
Lecture Notes in Computer Science
High
235
Width
155