Ebook > Sciences > Computer Science > Computer Science > Wolfgang Bibel: Deduktion (PDF)

Wolfgang Bibel
Deduktion
Automatisierung der Logik

Support

Adobe DRM

Cover of Wolfgang Bibel: Deduktion (PDF)

€109.95

Table of Content

Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Einführung — 2. Deduktion in der Aussagenlogik — 3. Deduktion in der Prädikatenlogik — 4. Verdichtungen und Strategien — 5. Erweiterungen und Anwendungen — Anhang — 1. Aufgaben und Lösungen — 2. Literatur — 3. Deutsch-englisches Wörterbuch — 4. Liste der Symbole — 5. Register

Language German ● Format PDF ● Pages 269 ● ISBN 9783110701128 ● File size 67.8 MB ● Publisher De Gruyter ● City Berlin/München/Boston ● Published 2020 ● Edition 1 ● Downloadable 24 months ● Currency EUR ● ID 7913662 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,234 Ebooks in this category

Cover of Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Rajarshi Pal: Innovative Research in Attention Modeling and Computer Vision Applications

Cover of Amal Kumar Adak & Monoranjan Bhowmik: Emerging Research on Applied Fuzzy Sets and Intuitionistic Fuzzy Matrices

Amal Kumar Adak & Monoranjan Bhowmik: Emerging Research on Applied Fuzzy Sets and Intuitionistic Fuzzy Matrices

Cover of Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends

Tarek Gaber & Aboul Ella Hassanien: Handbook of Research on Machine Learning Innovations and Trends

Cover of Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Mehdi Khosrow-Pour: Incorporating Nature-Inspired Paradigms in Computational Applications

Cover of Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community

Francisco J. Garcia-Penalvo: Information Technology Trends for a Global and Interdisciplinary Research Community

Data is the base for information, information is needed to have knowledge, and knowledge is used to make decisions and manage 21st century businesses and organizations. Thus, it is imperative to …

Cover of Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

Wendy Flores-Fuentes & Julio C. Rodriguez-Quinonez: Examining Optoelectronics in Machine Vision and Applications in Industry 4.0

The research and exploitation of optoelectronic properties in the industrial branch of electronics is becoming more popular each day due to the important role they play in the development of a large …

Cover of Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph's University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Alex (Shantou University, China) Noel Joseph Raj & Xavier (St. Joseph’s University, India) Savarimuthu: Artificial Intelligence for Multimedia Information Processing

Advances in artificial intelligence (AI), widespread mobile devices, internet technologies, multimedia data sources, and information processing have led to the emergence of multimedia processing. Mul …

Cover of Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Narendra Kumar Kamila: Handbook of Research on Emerging Perspectives in Intelligent Pattern Recognition, Analysis, and Image Processing

Cover of Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

Vianey Guadalupe Cruz Sanchez & Osslan Osiris Vergara Villegas: Augmented Reality

This book focuses on augmented reality (AR) technology, which uses the real environment to superimpose virtual elements. Therefore, the reader can create applications that simulate scenarios that can …

Cover of HaiSheng Li: Examining Quantum Algorithms for Quantum Image Processing

HaiSheng Li: Examining Quantum Algorithms for Quantum Image Processing

An emerging interdisciplinary field of study in the realm of academia has been quantum computing and its various applications. The rapid rate of progress of this advancing technology as well as its …