Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Langue
- Année de publication
- 2000
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.