Wolfgang Bibel: Z-Libraryで検索

知識と文化への入り口。誰にでもアクセス可能です。

Don't use scam websites

フィルターを適用する

完全一致

完全一致

本 (22)
一番人気本
リスト
- リスト
- 表

1

Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications

Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications

Springer-Verlag Berlin Heidelberg

Wolfgang Bibel, Jean-Marie Nicolas (auth.), Joachim W. Schmidt, Constantino Thanos (eds.)

年:

1989

言語:

english

ファイル:

PDF, 26.07 MB

0 / 0

english, 1989

2

Studien- und Forschungsführer Künstliche Intelligenz

Studien- und Forschungsführer Künstliche Intelligenz

Springer-Verlag Berlin Heidelberg

Prof. Dr. Wolfgang Bibel, Norbert Eisinger (auth.), Prof. Dr. Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger, Prof. Dr. Jörg Siekmann (eds.)

年:

1987

言語:

german

ファイル:

PDF, 4.78 MB

0 / 0

german, 1987

3

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

年:

1998

言語:

english

ファイル:

DJVU, 3.89 MB

0 / 0

english, 1998

4

Artificial Intelligence — Eine Einführung

Artificial Intelligence — Eine Einführung

Vieweg+Teubner Verlag

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

De Gruyter Oldenbourg

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

Vieweg+Teubner Verlag

Wolfgang Bibel (auth.)

年:

1993

言語:

german

ファイル:

PDF, 10.98 MB

0 / 0

german, 1993

7

Ausgezeichnete Informatikdissertationen 1996: Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß

Ausgezeichnete Informatikdissertationen 1996: Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß

Vieweg+Teubner Verlag

Wolfgang Bibel, Herbert Fiedler, Werner Grass, Peter Gorny, Günter Hotz, I. O. Kerner, Rüdiger Reischuk, Friedrich Roithmayr (auth.)

年:

1998

言語:

german

ファイル:

PDF, 9.90 MB

0 / 0

german, 1998

8

Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

Springer-Verlag Berlin Heidelberg

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

Vieweg+Teubner Verlag

Wolfgang Bibel (auth.)

年:

1987

言語:

english

ファイル:

PDF, 9.60 MB

0 / 0

english, 1987

10

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

年:

1998

言語:

english

ファイル:

PDF, 16.71 MB

0 / 0

english, 1998

11

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

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

Springer Berlin Heidelberg

年:

1987

言語:

english

ファイル:

PDF, 36.82 MB

0 / 0

english, 1987

13

Automated Theorem Proving

Automated Theorem Proving

Vieweg+Teubner Verlag

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

Springer Netherlands

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

Deutscher Universitätsverlag

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

Springer-Verlag Berlin Heidelberg

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

Springer-Verlag Berlin Heidelberg

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

Vieweg+Teubner Verlag

Jürgen Dorn (auth.), Wolfgang Bibel (eds.)

年:

1989

言語:

german

ファイル:

PDF, 7.36 MB

0 / 0

german, 1989

19

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Springer-Verlag Berlin Heidelberg

J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

年:

1986

言語:

english

ファイル:

DJVU, 2.88 MB

0 / 0

english, 1986

20

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

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

Springer-Verlag Berlin Heidelberg

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

Springer-Verlag Berlin Heidelberg

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

Vieweg+Teubner Verlag

Christoph Walther (auth.), Wolfgang Bibel (eds.)

年:

1991

言語:

german

ファイル:

PDF, 10.28 MB

0 / 0

german, 1991