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 (1)

This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Ramanayake, Revantha (Editor), Urban, Josef (Editor)
Format: eBook
Language:English
Published: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Edition:1st ed. 2023.
Series:Lecture Notes in Artificial Intelligence, 14278
Subjects:
Artificial intelligence.
Machine theory.
Computer science.
Software engineering.
Computer systems.
Microprogramming .
Artificial Intelligence.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Computer System Implementation.
Control Structures and Microprogramming.
Electronic books.
Online Access:Connect to the full text of this electronic book
Show all versions (2)