Il libro è attualmente esaurito

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.
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
Ancora nessuna valutazione.