电子书 > 科学 > 计算机科学 > 计算机科学 > Wolfgang Bibel: Deduktion (PDF)

Wolfgang Bibel
Deduktion [PDF ebook]
Automatisierung der Logik

支持

的封面 Wolfgang Bibel: Deduktion (PDF)

€109.95

表中的内容

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

购买此电子书可免费获赠一本！

语言德语 ● 格式 PDF ● 网页 269 ● ISBN 9783110701128 ● 文件大小 67.8 MB ● 出版者 De Gruyter ● 市 Berlin/München/Boston ● 发布时间 2020 ● 版 1 ● 下载 24 个月 ● 货币 EUR ● ID 7913662 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

16,501 此类电子书

的封面 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 …

的封面 Douglas Self: Self on Audio

Douglas Self: Self on Audio

Self on Audio: The collected audio design articles of Douglas Self, Third Edition is the most comprehensive collection of significant articles in the technical audio press. This third edition feature …

的封面 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 …

的封面 Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

Vikash Chandra & Dushyant Singh Sengar: Modern Data Mining with Python

"Modern Data Mining with Python" is a guidebook for responsibly implementing data mining techniques that involve collecting, storing, and analyzing large amounts of structured and unstructu …

的封面 Joanna Kulesza: International Internet Law

Joanna Kulesza: International Internet Law

This book discusses the international legal issues underlying Internet Governance and proposes an international solution to its problems. The book encompasses a wide spectrum of current debate surrou …

的封面 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

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

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

的封面 Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Gopi Krishna Nuti: Neural Network Computer Vision with OpenCV 5

Neural Network Computer Vision with Open CV equips you with professional skills and knowledge to build intelligent vision systems using Open CV. It creates a sequential pathway for understanding morp …

的封面 Suman Dutta: Immersive Realm of Extended Reality

Suman Dutta: Immersive Realm of Extended Reality

Virtual and extended reality technologies have come a long way since their inception, and today, they are poised to change how we work, learn, and interact with the world. From gaming and entertainme …

的封面 James (Bowie State University, MD, USA) Gil de Lamadrid: Computer Organization

James (Bowie State University, MD, USA) Gil de Lamadrid: Computer Organization

Computer Organization: Basic Processor Structure is a class-tested textbook, based on the author’s decades of teaching the topic to undergraduate and beginning graduate students. The main questions t …