Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Saved in:
Bibliographic Details
Corporate Authors:
Other Authors:
Special Collection:e-book
Format: Book
Published: Cham : Springer International Publishing, 2017
Series:Lecture Notes in Artificial Intelligence ; 10501
Online Access:
Tags: Add Tag
Be the first to tag this record!


Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
13740 13740 Nem kölcsönözhető