Help Account

Automated Deduction in Classical and Non-Classical Logics

by Ricardo Caferra

★★★★☆
4.0 (509)

US$27.50

15% OFF CODE: SAVE15

Description

The publisher of this book has not provided a description. Please check back later.

About this Ebook

PublisherSpringer Berlin Heidelberg
PublishedAugust 23, 2025
LanguageEnglish
FormatEPUB

Explore Related Tags

You Might Also Like