Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Grundlagen des maschinellen Beweisens: Eine Einführung für...

Main
Mathematics
Grundlagen des maschinellen Beweisens:...

Grundlagen des maschinellen Beweisens: Eine Einführung für Informatiker und Mathematiker

Dieter Hofbauer, Ralf-Detlef Kutsche (auth.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Anno:

1989

Edizione:

1

Casa editrice:

Vieweg+Teubner Verlag

Lingua:

german

Pagine:

172

ISBN 10:

3528047186

ISBN 13:

9783528047184

File:

PDF, 6.63 MB

IPFS:

,

german, 1989

Il download di questo libro non è disponibile a causa di un reclamo da parte del detentore del copyright

Beware of he who would deny you access to information, for in his heart he dreams himself your master

— Pravin Lal

Puoi essere interessati a

— Formale Systeme 001

— Logische Systeme der Informatik 001

— Theoretische Informatik 001

— Logik und Modelltheorie 001

— Logik und Regelverarbeitung 001

Smolka G., Schulte C. — Logische Programmierung

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

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

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

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

Wolfgang Stegmüller, Matthias Varga von Kibéd — Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

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

Alexander Asteroth, Christel Baier — Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Uwe Schöning — Logik fur Informatiker

Lutz Heindorf — Elementare Beweistheorie

Termini più frequenti