Focus
Publications
Services
Auteurs
Éditions
Shop
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Superposition for Higher-Order Logic

Superposition for Higher-Order Logic

Informations bibliographiques

décembre 2025, Lecture Notes in Computer Science, Anglais
Springer International Publishing
978-3-032-01669-0

Mots-clés

Autres titres de la collection: Lecture Notes in Computer Science

Afficher tout

Autres titres sur ce thème