Deduktionssysteme: Automatisierung des logischen Denkens

Main
Mathematics - Logic
Deduktionssysteme: Automatisierung des...

Deduktionssysteme: Automatisierung des logischen Denkens

K.H. Bläsius, H.-J. Bürckert

0 / 4.0

คุณชอบหนังสือเล่มนี้มากแค่ไหน

คุณภาพของไฟล์เป็นอย่างไรบ้าง

ดาวน์โหลดหนังสือเพื่อประเมินคุณภาพของไฟล์

คุณภาพของไฟล์ที่คุณดาวน์โหลดมาเป็นอย่างไรบ้าง

หมวดหมู่:

Mathematics - Logic

ปี:

1992

ฉบับพิมพ์ครั้งที่:

2

สำนักพิมพ์:

R. Oldenbourg

ภาษา:

german

จำนวนหน้า:

287

ISBN 10:

3486220330

ISBN 13:

9783486220339

ไฟล์:

PDF, 8.88 MB

IPFS:

,

german, 1992

อ่านออนไลน์

กำลังแปลงเป็น อยู่

การแปลงเป็น ล้มเหลว

คุณอาจสนใจ

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

— Logik und Regelverarbeitung 001

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

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

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

Wolfgang Bibel; Steffen Hölldobler; Gerd Neugebauer — Deduktion: Automatisierung der Logik

Hans-Jörg Kreowski — Logische Grundlagen der Informatik

Paul Lorenzen — Formale Logik

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

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

Paul Lorenzen — Formale Logik

Paul Lorenzen — Formale Logik

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

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

Schmitgen, Stefan; Kleine Büning, Hans — PROLOG: Grundlagen und Anwendungen: mit zahlreichen Abbildungen, Tabellen und Programmbeispielen

Loogen R. — Integration funktionaler und logischer Programmiersprachen

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

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

Sibylle Krämer — Symbolische Maschinen. Die Idee der Formalisierung in geschichtlichem Abriss

Dr. Volker Strassen (eds.) — Komplexität von Entscheidungsproblemen Ein Seminar

Thomas Christaller (auth.), Thomas Christaller, Hans-Werner Hein, Michael M. Richter (eds.) — Kunstliche Intelligenz: Theoretische Grundlagen und Anwendungsfelder Fruhjahrsschulen, Dassel, 8.–16. Marz 1985 und 8.–16.Marz 1986

Kurt-Ulrich Witt — Mathematische Grundlagen für die Informatik: Mengen, Logik, Rekursion

Franz von Kutschera — Elementare Logik

Godehard Link — Montague-Grammatik: die logischen Grundlagen

Uwe Schöning — Logik fur Informatiker

คำที่ถูกค้นหาบ่อยที่สุด