Wolfgang Bibel (eds.): искать на сайте Z-Library

Свободный доступ к знаниям и культуре.

Don't use scam websites

Применены фильтры

Точное соответствие

Точное соответствие

Книги (14)
Самые популярные
Список
- Список
- Таблица

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

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

5

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

6

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

7

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

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

Файл:

DJVU, 2.96 MB

0 / 0

english, 1986

9

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

10

Wissensbasierte Echtzeitplanung

Wissensbasierte Echtzeitplanung

Vieweg+Teubner Verlag

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

Год:

1989

Язык:

german

Файл:

PDF, 7.36 MB

0 / 0

german, 1989

11

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

12

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

13

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

14

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