IOU Library

Automated Reasoning with Analytic Tableaux and Related Methods

An electronic copy of book is available for Library Members

Further Details Info

Title	Automated Reasoning with Analytic Tableaux and Related Methods
Call No
Authors	Revantha Ramanayake
Subjects

An electronic copy of book is available for Library Members Sign in to view the book

no reviews

Sub Title:
Edition:
Volume:
Publisher:
Publishing Year: 2023
ISBN: 10.1007/978-3-031-43513-3
Pages:

245: $a: Automated Reasoning with Analytic Tableaux and Related Methods
245: $b:
082: $a:
100: $a: Revantha Ramanayake
650: $a:
250: $a:
440: $v:
250: $b:
250: $c: 2023
020: $a: 10.1007/978-3-031-43513-3
300: $a:

Welcome to IOU Digital Library

Automated Reasoning with Analytic Tableaux and Related Methods

Further Details Info

Fresh Arrivals