Vážení zákazníci, z technických dôvodov nie je dnes zákaznícka podpora k dispozícii. Vašim požiadavkám sa budeme venovať nasledujúci pracovný deň. Ďakujeme za pochopenie.

Viac ako 4 milióny titulov v angličtine aj ďalších jazykoch! Objavte svoj nový príbeh ešte dnes!

Zistiť stav objednávky

Kontaktujte nás

Superposition for Higher-Order Logic

Name: Superposition for Higher-Order Logic
Brand: Springer-Verlag GmbH
SKU: 9783032016690
Price: 109.89 EUR
Availability: PreOrder

Autor: Alexander Bentkamp

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag GmbH

Dostupnosť: Očakávaná novinka

Vydanie 31. 05. 2027

109.89 €

This monograph presents an extension of the superposition calculus to higher-order logic, also calle...

Informácie o knihe

Autor

Alexander Bentkamp

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2025

EAN

9783032016690

ISBN

303201669X

Enbook ID

49135119

Vydavateľ

Springer-Verlag GmbH

Kompletný popis

This monograph presents an extension of the superposition calculus to higher-order logic, also called simple type theory, and its implementation and empirical evaluation in an automated theorem prover.

The dissertation on which the volume is based won four prestigious honors: the Institute for Programming research and Algorithmics (IPA) dissertation award, the Bill McCune PhD Award in Automated Reasoning, the E.W. Beth Dissertation Prize, and the Ackermann Award. The book will be of value to researchers in the area of computer science logic, in particular those engaged with higher-order theorem proving.