Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.

Format:

Book

Contributor:

Lutz, Carsten, editor.

Ranise, Silvio, editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

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

Lecture Notes in Artificial Intelligence ; 9322

Language:

English

Subjects (All):

Artificial intelligence.

Logic, Symbolic and mathematical.

Computer logic.

Computer programming.

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Local Subjects:

Artificial Intelligence.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Programming Techniques.

Physical Description:

1 online resource (XVII, 357 pages) : 54 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 proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in topical sections named: description logics; theorem proving and model building; decision procedures; decision procedures for verification; rewriting and constraint solving; transformations between symbolic systems; combination methods; and reasoning in large theories. The book also contains one invited talk in full-paper length. .

Other Format:

Printed edition:

ISBN:

978-3-319-24246-0

9783319242460

Access Restriction:

Restricted for use by site license.