ISBN9783319085876 (electronic bk.)
3319085875 (electronic bk.)
3319085867 (print)
9783319085869 (print)
並列タイトル等Vienna summer of logic 2014
一般注記Abstracts and papers.
"The Vienna Summer of Logic (VSL, ...) consisted of twelve large conferences and 82 workshops, ..."--Foreword.
"This year's meeting was a merging of three leading events in automated reasoning--CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)."--Preface.
書誌注記Includes bibliographical references and author index.
関連情報(DOI)10.1007/978-3-319-08587-6