Deduktion: Automatisierung der Logik

Main
Mathematics - Logic
Deduktion: Automatisierung der Logik

Deduktion: Automatisierung der Logik

Wolfgang Bibel, Steffen Hölldobler, Gerd Neugebauer

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

Kateqoriyalar:

Mathematics - Logic

İl:

2020

Nəşr:

Reprint 2020

Nəşriyyat:

De Gruyter Oldenbourg

Dil:

german

Səhifələr:

269

ISBN 10:

311070112X

ISBN 13:

9783110701128

Seriyalar:

Handbuch der Informatik; 6.2

Fayl:

PDF, 65.63 MB

IPFS:

,

german, 2020

Yüklə (pdf, 65.63 MB)

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Thomas Streicher — Logik für Informatiker [Lecture notes]

Karel Berka, Lothar Kreiser — Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik

— Formale Systeme 001

— Logik und Regelverarbeitung 001

Berka K., Kreiser L. — Logik-Texte: kommentierter Auswahl zur Geschichte der modernen Logik

Eike Best — Automatentheorie und Logik 001

Volker Halbach — Axiomatische Wahrheitstheorien

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

(Hrsg.), Günther Görz, Ute Schmid, Tanya Braun — Handbuch der Künstlichen Intelligenz

Gerhard Schurz — Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik

Theodor G. Bucher — Einführung in die angewandte Logik

Theodor Bucher — Einführung in die angewandte Logik

Franz von Kutschera — Der Satz vom ausgeschlossenen Dritten: Untersuchungen über die Grundlagen der Logik

Günter Matthiessen — Logik für Software-Ingenieure

Karel Berka; Lothar Kreiser; Siegfried Gottwald; Werner Stelzner — Logik-Texte: Kommentierte Auswahl zur Geschichte der modernen Logik

Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.) — Aussagenlogik: Deduktion und Algorithmen

Wolfgang Bibel (auth.) — Wissensrepräsentation und Inferenz: Eine grundlegende Einführung

Kastens Uwe; Kleine Büning Hans — Modellierung

K.H. Bläsius, H.-J. Bürckert — Deduktionssysteme: Automatisierung des logischen Denkens

Frank Staab — Logik und Algebra: eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker (Wirtschaftsinformatik kompakt)

(Hrsg.), Günther Görz, Josef Schneeberger — Handbuch der Künstlichen Intelligenz

Frank Staab — Logik und Algebra: Eine praxisbezogene Einführung für Informatiker und Wirtschaftsinformatiker

Mark Zegarelli — Logik für Dummies

Mark Zegarelli — Logik für Dummies

Armin B. Cremers, Ulrike Griefahn, Ralf Hinze (auth.) — Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung

Friedrichsdorf, Ulf — Einführung in die klassische und intensionale Logik

Eberhard Bergmann, Helga Noll (auth.) — Mathematische Logik mit Informatik-Anwendungen

Thomas Christaller (auth.), Thomas Christaller, Hans-Werner Hein, Michael M. Richter (eds.) — Künstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Frühjahrsschulen, Dassel, 8.–16. März 1985 und 8.–16.März 1986

Franz von Kutschera — Elementare Logik

Uwe Schöning — Logik fur Informatiker

Açar ifadələr