Amazon cover image
Image from Amazon.com
Image from Coce

Automated Reasoning with Analytic Tableaux and Related Methods

By: Material type: TextTextLanguage: English Publication details: Springer; Springer; 2019ISBN:
  • 9783030290269
Other classification:
Online resources:
Item type: eBooks
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Status Barcode
eBooks eBooks Central Library Central Library Available CL1752454

There are no comments on this title.

to post a comment.
Previous
Back to results
Next
Close