Logische Programmierung

Main
Logische Programmierung

Logische Programmierung

Smolka G., Schulte C.

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سال:

1993

زبان:

english

صفحات:

184

فائل:

PDF, 1000 KB

IPFS:

,

english, 1993

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

Hillermeier Claus — Mathematik für Informatiker I

Hillermeier Claus — Mathematik für Informatiker II

Thiele Helmut — Einführung in die Fuzzy-Logik

Birgit Reinert — Gröbnerbasen [Lecture notes]

Adalbert Kerber — Lineare Algebra, WS 97/98, SS 98, Algebra, WS 98/99 [Lecture notes]

Adalbert Kerber, Wilfried Lex — Kontexte und ihre Begriffe

Thomas Streicher — Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

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

Dirk W. Hoffmann — Theoretische Informatik

— Nonstandard Analysis 001

— Formale Systeme 001

— Logische Systeme der Informatik 001

— Theoretische Informatik 006

— Logik und Modelltheorie 001

— Logik und Regelverarbeitung 001

Eike Best — Automatentheorie und Logik 001

Martin Ziegler (auth.) — Mathematische Logik

Volker Halbach — Axiomatische Wahrheitstheorien

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

Hans-Jörg Kreowski — Logische Grundlagen der Informatik

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

Prof. Dr. Wolfgang Rautenberg (auth.) — Einführung in die Mathematische Logik

Dirk W. Hoffmann — Theoretische Informatik

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

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

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

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

Thomas Rießinger — Mathematik fuјr Ingenieure: Eine anschauliche Einfјhrung fјr das praxisorientierte Studium

Thomas Rießinger — Mathematik für Ingenieure / Mit CD-ROM. Eine anschauliche Einführung für das praxisorientierte Studium

Thomas Rießinger (auth.) — Mathematik für Ingenieure: Eine anschauliche Einführung für das praxisorientierte Studium

Thomas Rießinger (auth.) — Mathematik für Ingenieure: Eine anschauliche Einführung für das praxisorientierte Studium

Martin Ziegler — Mathematische Logik (Mathematik Kompakt)

Uwe Schöning — Logik fur Informatiker

اہم جملے