Wolfgang Bibel 
Deduktion [PDF ebook] 
Automatisierung der Logik

Wsparcie
Pokrywa Wolfgang Bibel: Deduktion (PDF)
€109.95
Metody Płatności

Spis treści

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
Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Niemiecki ● Format PDF ● Strony 269 ● ISBN 9783110701128 ● Rozmiar pliku 67.8 MB ● Wydawca De Gruyter ● Miasto Berlin/München/Boston ● Opublikowany 2020 ● Ydanie 1 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 7913662 ● Ochrona przed kopiowaniem Adobe DRM
Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Wolfgang Bibel

16 770 Ebooki w tej kategorii

Pokrywa Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks
Yu-Hsin Chen & Joel S. Emer: Efficient Processing of Deep Neural Networks
This book provides a structured treatment of the key principles and techniques for enabling efficient processing of deep neural networks (DNNs) . DNNs are currently widely used for many artificial in …
EPUB
Adobe DRM
€153.76
Pokrywa Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture
Joseph D. (University of Tennessee at Chattanooga, USA) Dumas II: Computer Architecture
Not only does almost everyone in the civilized world use a personal computer, smartphone, and/or tablet on a daily basis to communicate with others and access information, but virtually every other m …
EPUB
Adobe DRM
€75.58
Pokrywa Bonny P McClain: Geospatial Analysis with SQL
Bonny P McClain: Geospatial Analysis with SQL
<p><b>Leverage the power of SQL to perform geospatial analysis and increase your speed and efficiency working with a variety of spatial applications such as Post GIS and QGIS</b>&lt …
EPUB
Adobe DRM
€34.58
Pokrywa T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science
T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science
This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …
EPUB
Adobe DRM
€59.04
Pokrywa Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning
Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning
The special issue is dedicated to National conference on Communication, computational intelligence and learning-NCCCIL sponsored by AICTE and organized by Department of Information Technology at Army …
EPUB
Adobe DRM
€47.65
Pokrywa Tony (Microsoft Research) Hey: Feynman Lectures on Computation
Tony (Microsoft Research) Hey: Feynman Lectures on Computation
  • Updated anniversary edition of previous edition from 1996
  • Contains three new invited chapters and three 'Reminiscences’ on memories of Richard Feynman
  • Demonstrates Richard …
EPUB
Adobe DRM
€64.05
Pokrywa Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales
Roger A. Philips: Guide To Software Export: A Handbook For International Software Sales
An ideal reference source for CEOs, marketing and sales managers, sales consultants, and students of international marketing, Guide to Software Export provides a step-by-step approach to initiating o …
EPUB
Adobe DRM
€64.11
Pokrywa Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
Duarte (Technical University of Lisbon, Portugal) Araujo & Micael (University of Lisbon, Portugal) Couceiro: Artificial Intelligence in Sport Performance Analysis
To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …
EPUB
Adobe DRM
€48.89
Pokrywa 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 rema …
EPUB
Adobe DRM
€276.73
Pokrywa Dinesh C. Verma: Federated AI for Real-World Business Scenarios
Dinesh C. Verma: Federated AI for Real-World Business Scenarios
This book provides an overview of Federated Learning and how it can be used to build real-world AI-enabled applications. Real-world AI applications frequently have training data distributed in many d …
EPUB
Adobe DRM
€69.62
Następna strona >>>