Monte Carlo Tableau Proof Search release_ryaw5wlcnrhdblcf3hknznbk3q

by Michael Färber, Cezary Kaliszyk, Josef Urban

Published in Lecture Notes in Computer Science by Springer International Publishing.

2017   p563-579

Archived Content

There are no accessible files associated with this release. You could check other releases for this work for an accessible version.

Not Preserved
Save Paper Now!

Know of a fulltext copy of on the public web? Submit a URL and we will archive it

Type  chapter
Stage   published
Year   2017
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: fb447bd6-37cc-4e56-a52f-ca9fb1661fab
API URL: JSON