[Lecture Notes in Computer Science] Automated Reasoning...

[Lecture Notes in Computer Science] Automated Reasoning Volume 2083 || Incremental Closure of Free Variable Tableaux

Goré, Rajeev, Leitsch, Alexander, Nipkow, Tobias

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

Volume:

10.1007/3-

Year:

2001

Language:

english

DOI:

10.1007/3-540-45744-5_46

File:

PDF, 179 KB

english, 2001

Conversion to is in progress

Conversion to is failed