4
Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn, Alfred Kobsa, Ingeborg Steinacker, Robert Trappl, Harald Trost
عام:
1986
اللغة:
german
ملف:
PDF, 13.85 MB
0 / 0
german, 1986
5
Deduktion: Automatisierung der Logik

Deduktion: Automatisierung der Logik

Wolfgang Bibel, Steffen Hölldobler, Gerd Neugebauer
عام:
2020
اللغة:
german
ملف:
PDF, 65.63 MB
0 / 0
german, 2020
6
Wissensrepräsentation und Inferenz: Eine grundlegende Einführung

Wissensrepräsentation und Inferenz: Eine grundlegende Einführung

Wolfgang Bibel (auth.)
عام:
1993
اللغة:
german
ملف:
PDF, 10.98 MB
0 / 0
german, 1993
8
Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.)
عام:
1986
اللغة:
english
ملف:
PDF, 17.47 MB
0 / 0
english, 1986
9
Automated Theorem Proving

Automated Theorem Proving

Wolfgang Bibel (auth.)
عام:
1987
اللغة:
english
ملف:
PDF, 9.60 MB
0 / 0
english, 1987
11
Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)
عام:
1998
اللغة:
english
ملف:
PDF, 13.25 MB
0 / 0
english, 1998
12
Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

Wolfgang Bibel
عام:
1987
اللغة:
english
ملف:
PDF, 36.82 MB
0 / 0
english, 1987
13
Automated Theorem Proving

Automated Theorem Proving

Wolfgang Bibel (auth.)
عام:
1982
اللغة:
english
ملف:
PDF, 6.99 MB
0 / 0
english, 1982
14
Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)
عام:
1998
اللغة:
english
ملف:
DJVU, 2.98 MB
0 / 0
english, 1998
15
Lehren vom Leben: Essays über Mensch und Gesellschaft

Lehren vom Leben: Essays über Mensch und Gesellschaft

Wolfgang Bibel (auth.)
عام:
2003
اللغة:
german
ملف:
PDF, 8.53 MB
0 / 0
german, 2003
16
Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.)
عام:
1986
اللغة:
english
ملف:
DJVU, 2.96 MB
0 / 0
english, 1986
17
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)
عام:
1980
اللغة:
english
ملف:
DJVU, 3.71 MB
0 / 0
english, 1980
18
Wissensbasierte Echtzeitplanung

Wissensbasierte Echtzeitplanung

Jürgen Dorn (auth.), Wolfgang Bibel (eds.)
عام:
1989
اللغة:
german
ملف:
PDF, 7.36 MB
0 / 0
german, 1989
20
Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.)
عام:
1982
اللغة:
german
ملف:
PDF, 13.48 MB
0 / 0
german, 1982
21
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)
عام:
1980
اللغة:
english
ملف:
PDF, 9.61 MB
0 / 0
english, 1980
22
Automatisierung von Terminierungsbeweisen

Automatisierung von Terminierungsbeweisen

Christoph Walther (auth.), Wolfgang Bibel (eds.)
عام:
1991
اللغة:
german
ملف:
PDF, 10.28 MB
0 / 0
german, 1991