Automated Reasoning with Analytic Tableaux and Related Methods : 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Hans De Nivelle.

Format:

Book

Contributor:

Nivelle, Hans de, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

Lecture notes in computer science. Lecture notes in artificial intelligence ; 9323.

Lecture Notes in Artificial Intelligence ; 9323

Language:

English

Subjects (All):

Artificial intelligence.

Logic, Symbolic and mathematical.

Computer programming.

Software engineering.

Computer science--Mathematics.

Computer science.

Computer logic.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Programming Techniques.

Software Engineering.

Discrete Mathematics in Computer Science.

Logics and Meanings of Programs.

Local Subjects:

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Programming Techniques.

Software Engineering.

Discrete Mathematics in Computer Science.

Logics and Meanings of Programs.

Physical Description:

1 online resource (XVI, 355 pages) : 70 illustrations in color.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

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; sequent calculus; resolution; other calculi; and applications. .

Other Format:

Printed edition:

ISBN:

978-3-319-24312-2

9783319243122

Access Restriction:

Restricted for use by site license.