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 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Ramanayake, Revantha (Editor), Urban, Josef (Editor)
Format:	Electronic 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.
Online Access:	Link to Metadata
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	This open access book constitutes the proceedings of the 32nd International Conference, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023.
Physical Description:	XXV, 482 p. 370 illus., 12 illus. in color. online resource.
ISBN:	9783031435133
ISSN:	2945-9141 ;
DOI:	10.1007/978-3-031-43513-3
Access:	Open Access