Cover Image

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Show other versions (2)

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in...

Full description

Saved in:
Bibliographic Details
Other Authors: Ramanayake, Revantha (Editor), Urban, Josef (Editor)
Format: Electronic Book Chapter
Language:English
Published: Cham Springer Nature 2023
Series:Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Subjects:
Artificial intelligence
Mathematical theory of computation
Computer programming / software development
Software Engineering
Systems analysis & design
Algorithms & data structures
tableaux
tableaux calculus
sequent calculus
proof theory
theorem proving
proof assistant
natural deduction
formalized proof
decision procedures
automated deduction
SMT
resolution
cut-elimination
non-classical logics
modal logic
intuitionistic
inear logic
substructural logic
separation logic
Online Access:DOAB: download the publication
DOAB: description of the publication
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

DOAB: download the publication
DOAB: description of the publication

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available

Similar Items