Bookbot

The Resolution Calculus

Parametri

Pagine
316pagine
Tempo di lettura
12ore

Maggiori informazioni sul libro

Focusing on resolution theorem proving, the author presents a selective exploration of this specific area within the broader field of automated deduction. The course, delivered through five lectures, prioritizes depth over breadth, highlighting recent advancements and applications of resolution theory. Key topics include completeness, redundancy, termination, and complexity, demonstrating that while resolution is no longer the sole focus in computational logic, it remains relevant and rich with potential for new insights and developments.

Pubblicazione

Acquisto del libro

The Resolution Calculus, Alexander Leitsch

Lingua
Pubblicato
2011
product-detail.submit-box.info.binding
(In brossura)
Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento