Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Goal-Directed Proof Theory, Dov M. Gabbay, N. Olivetti
- Sprache
- Erscheinungsdatum
- 2000
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Hier könnte deine Bwertung stehen.