winkelwagen uitgebreid zoeken
print pagina
Informatica

 

Boekhandel Douwes Den Haag

Lecture Notes in Artificial Intelligence

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Claudia Nalon & Renate A. Schmidt

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Artificial Intelligence

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Lecture Notes in Artificial Intelligence: Automated Reasoning with Analytic Tableaux and Related Methods

 

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasília, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity.

Langere levertijd

€ 73,00

Levertijd circa 6 tot 12 dagen

Beschrijving Lecture Notes in Artificial Intelligence: Automated Reasoning with Analytic Tableaux and Related Methods

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017.

ISBN
9783319669014
Pagina's
381
Verschenen
Serie
Lecture Notes in Artificial Intelligence
NUR
980
Druk
1
Uitvoering
Paperback / softback
Taal
Engels
Uitgever
Springer International Publishing AG

AI Morality

There is no more important issue at present than artificial intelligence. AI has begun to penetrate almost every sphere of human activity. It will disrupt our lives entirely. David Edmonds brings together a team of leading philosophers to explore some of the urgent moral concerns we should have about this revolution.

Securing IoT in Industry 4.0 Applications with Blockchain

Industry 4.0 is an amalgam of smart factories, cognitive computing, cloud computing, Internet of Things (IoT), and cyber-physical systems. The IoT component is highly networked and vulnerable to attack.

Fraud Investigation and Forensic Accounting in the Real World

This book will cover every aspect of forensic accounting, anti-fraud control systems and fraud investigation. The author uses his own case experience to guide those who are engaged in fraud investigation and forensic accounting step by step through each phase of a forensic accounting assignment and fraud investigation.

Informatica

terug meer