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

অনলাইনে পড়া

ডাউনলোড (pdf, 8.88 MB)

তে রূপান্তর প্রক্রিয়া চলছে

-এ রূপান্তর ব্যর্থ হয়েছে

আপনি আগ্রহী হতে পারেন

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

প্রায়শই ব্যবহৃত পরিভাষা