Catalog > Ciência > Ciência da Computação > Ciência da Computação > Wolfgang Bibel: Deduktion (PDF)

Wolfgang Bibel
Deduktion [PDF ebook]
Automatisierung der Logik

Apoio

Capa do Wolfgang Bibel: Deduktion (PDF)

€109.95

Tabela de Conteúdo

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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Alemão ● Formato PDF ● Páginas 269 ● ISBN 9783110701128 ● Tamanho do arquivo 67.8 MB ● Editora De Gruyter ● Cidade Berlin/München/Boston ● Publicado 2020 ● Edição 1 ● Carregável 24 meses ● Moeda EUR ● ID 7913662 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

16.501 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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

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

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

Capa do 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 …

Capa do 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 …

Capa do 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 …

Próxima página >>>