Automated Reasoning with Analytic Tableaux and Related MethodsAnupam Das

Automated Reasoning with Analytic Tableaux and Related Methods

Anupam Das, Sara Negri · 2021

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2021
Language: English
Publisher: Springer International Publishing AG
Editions: 1
ISBN: 9783030860585

Data source: Wikidata

More by Anupam Das

Insights of Current Developments in Optics-Based-Biosensors for Analysis of Environmental Contamination and PollutionAnupam Das

Insights of Current Developments in Optics-Based-Biosensors for Analysis of Environmental Contamination and Pollution

Anupam Das · 2015