Kniha momentálne nie je na sklade
Goal-Directed Proof Theory
Autori
Viac o knihe
Exploring the foundations of proof theory, this book presents a novel approach centered on goal-directed reasoning. It delves into the interplay between proofs and computational processes, emphasizing how goals can guide the proof search. The author discusses various systems and techniques, offering insights into their applications in logic and computer science. By bridging theoretical concepts with practical implications, the text serves as a valuable resource for researchers and students interested in the mechanics of formal proofs and their computational significance.
Nákup knihy
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Jazyk
- Rok vydania
- 2000
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Goal-Directed Proof Theory
- Jazyk
- anglicky
- Autori
- Dov M. Gabbay, N. Olivetti
- Vydavateľ
- Springer Netherlands
- Rok vydania
- 2000
- Väzba
- pevná
- Počet strán
- 284
- ISBN13
- 9780792364733
- Kategórie
- Filozofia
- Anotácia
- Exploring the foundations of proof theory, this book presents a novel approach centered on goal-directed reasoning. It delves into the interplay between proofs and computational processes, emphasizing how goals can guide the proof search. The author discusses various systems and techniques, offering insights into their applications in logic and computer science. By bridging theoretical concepts with practical implications, the text serves as a valuable resource for researchers and students interested in the mechanics of formal proofs and their computational significance.