Reihe Lecture Notes in Computer ScienceAlexander Bentkamp × Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingSoftcover2025117,69 € Superposition for Higher-Order Logic Alexander BentkampSpringer International PublishingeBook2025