Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=DE NIVELE, Hans
cover
Automated Reasoning with Analytic Tableaux and Related Methods : 24th Interna…
Comment Share
DE NIVELE, Hans

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequ…

Edition
-
ISBN/ISSN
978-3-319-24312-2
Collation
XVI, 355
Series Title
-
Call Number
006.4