Rakuten Kobo

Skip side bar filters

Handbook of Proof Theory

Edited by S.R. Buss ...

Series Book 137 - Studies in Logic and the Foundations of Mathematics
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self ... Read more

$211.49 USD

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self
... Read more

KI 2017: Advances in Artificial Intelligence

40th Annual German Conference on AI, Dortmund, Germany, September 25–29, 2017, Proceedings

Edited by Gabriele Kern-Isberner, Johannes Fürnkranz, Universität Koblenz ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.The conference cover a range of topics from, e. g., agents, robotics, cognitive ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 40th Annual German Conference on Artificial Intelligence, KI 2017 held in Dortmund, Germany in September 2017.The 20 revised full technical papers presented together with 16 short technical communications were carefully reviewed and selected from 73 submissions.The conference cover a range of topics from, e. g., agents, robotics, cognitive
... Read more
Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

Edited by Sergei Artemov, Anil Nerode ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018.The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata,
... Read more
Model-Based Safety and Assessment

5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Edited by Marco Bozzano, Yiannis Papadopoulos ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety ... Read more

$49.99 USD

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety
... Read more
Developments in Language Theory

20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

Edited by Srečko Brlek, Christophe Reutenauer ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics ... Read more

$49.49 USD

This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016.The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions. This volume presents current developments in formal languages and automata, especially from the following topics
... Read more
Trusted Systems

7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

Edited by Moti Yung, Jianbiao Zhang, Zhen Yang ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, held in Beijing, China, in December 2015.The revised 12 full papers presented have been carefully reviewed and selected from 29 submissions. They are devoted to all aspects of trusted computing systems, including trusted modules, platforms; networks, ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, held in Beijing, China, in December 2015.The revised 12 full papers presented have been carefully reviewed and selected from 29 submissions. They are devoted to all aspects of trusted computing systems, including trusted modules, platforms; networks,
... Read more
Unveiling Dynamics and Complexity

13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings

Edited by Jarkko Kari, Florin Manea, Ion Petre ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017.The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017.The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in
... Read more
Pursuit of the Universal

12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

Edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic ... Read more

$49.99 USD

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016.The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conference CiE 2016 has six special sessions – two sessions, cryptography and information theory and symbolic
... Read more
Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Edited by Manuel V Hermenegildo, Pedro Lopez-Garcia ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to ... Read more

$49.49 USD

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to
... Read more
Unconventional Computation and Natural Computation

15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

Edited by Martyn Amos, Anne Condon ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation and Natural Computation, UCNC 2016, held in Manchester, UK, in July 2016.The 15 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 30 submissions. The papers cover a wide range of topics including molecular, cellular, quantum, optical ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 15th International Conference on Unconventional Computation and Natural Computation, UCNC 2016, held in Manchester, UK, in July 2016.The 15 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 30 submissions. The papers cover a wide range of topics including molecular, cellular, quantum, optical
... Read more
Mathematical Aspects of Computer and Information Sciences

7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings

Edited by Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in ... Read more

$49.49 USD

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017.The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in
... Read more
Multi-Agent Systems and Agreement Technologies

14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers

Edited by Natalia Criado Pacheco, Carlos Carrascosa, Nardine Osman, Vicente Julián Inglada ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016.The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and ... Read more

$49.99 USD

This book constitutes the revised selected papers from the 14th European Conference on Multi-Agent Systems, EUMAS 2016, and the Fourth International Conference on Agreement Technologies, AT 2016, held in Valencia, Spain, in December 2016.The 43 papers and 2 invited papers presented in this volume were carefully reviewed and selected from 68 submissions. The papers cover thematic areas as agent and
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Studies in Logic and the Foundations of Mathematics

Handbook of Proof Theory

People who read this also enjoyed

KI 2017: Advances in Artificial Intelligence

Logical Foundations of Computer Science

Model-Based Safety and Assessment

Developments in Language Theory

Trusted Systems

Unveiling Dynamics and Complexity

Pursuit of the Universal

Logic-Based Program Synthesis and Transformation

Unconventional Computation and Natural Computation

Mathematical Aspects of Computer and Information Sciences

Multi-Agent Systems and Agreement Technologies

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Studies in Logic and the Foundations of Mathematics

Show:

People who read this also enjoyed