Electronic Books

Total Books: 12/36
A Concise Introduction to Languages and Machines

This easy-to-follow text provides an accessible introduction to the key topics of formal languages and abstract machines ...

Lire la suite
Arguing on the Toulmin Model

In The Uses of Argument Stephen Toulmin proposed a new model for the layout of arguments, with six components: claim, data, ...

Lire la suite
Argumentation Methods for Artificial Intelligence in Law

In this book, Walton presents his perspective on argumentation methods for artificial intelligence and law. … the different ...

Lire la suite
NoIMG
Argumentative Indicators

Argumentative Indicators: A Pragma-Dialectical Study identifies and analyses English words and expressions that are crucial ...

Lire la suite
Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...

Lire la suite
Automated Reasoning

This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...

Lire la suite
Comprehensive Mathematics for Computer Scientists 1

This two-volume textbook Comprehensive Mathematics for Computer Scientists is a self-contained comprehensive presentation ...

Lire la suite
Comprehensive Mathematics for Computer Scientists 2

This second volume of a comprehensive tour through mathematical core subjects for computer scientists completes the ?rst ...

Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Lire la suite
Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Lire la suite
Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II

This two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...

Lire la suite
Total Books: 12/36