Filtrera

Språk
  • (14)
  • (6)
Ämne
  • (16)
  • (7)
  • (12)
  • (1)
  • (1)
  • (1)
Format
  • (4)
  • (14)

Wolfgang Bibel - Böcker

Visar alla böcker av Wolfgang Bibel. Handla med fri frakt och snabb leverans!

Sortering:

  1. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Inbunden, Engelska, 1998-06-01
    2260
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensi...

    Läs mer »

  2. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Inbunden, Engelska, 1998-06-01
    2260
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot pro...

    Läs mer »

  3. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Inbunden, Engelska, 1998-06-01
    1697
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted fro...

    Läs mer »

  4. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Book, Engelska, 1998-06-01
    3521
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensi...

    Läs mer »

  5. Mathematical Methods of Specification and Synthesis of Software Systems 85

    av Wolfgang Bibel, Klaus P Jantke

    Inbunden, Engelska, 1986-12-01
    2251
    Bevaka
    Ännu ej utkommen - klicka "Bevaka" för att få ett mejl när boken går att beställa.
    Mathematical Methods of Specification and Synthesis of Software Systems 85

    No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems 85".

    Läs mer »

  6. Ausgezeichnete Informatikdissertationen 1996

    av Wolfgang Bibel, H Fiedler, W Grass, Peter Gorny, Otto Kerner

    Häftad, Tyska, 1998-01-01
    541
    Köp
    Skickas från oss inom 10-15 vardagar.
    Ausgezeichnete Informatikdissertationen 1996

    Die Gesellschaft fr Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen Preis aus. Die Auswahl dieser Dissertation sttzt sich auf die von den Universitten und Hochschulen fr diesen Preis vorgeschlagenen Dissertationen. Som...

    Läs mer »

  7. Artificial Intelligence Eine Einfhrung

    av Johannes Retti, Wolfgang Bibel, Bruno Buchberger, Ernst Buchberger, Werner Horn

    Häftad, Tyska, 1986-09-01
    541
    Köp
    Skickas från oss inom 10-15 vardagar.
    Artificial Intelligence Eine Einfhrung

  8. Wissensreprsentation und Inferenz

    av Wolfgang Bibel, Steffen Hlldobler, Torsten Schaub

    Häftad, Tyska, 1993-07-01
    648
    Köp
    Skickas från oss inom 10-15 vardagar.
    Wissensreprsentation und Inferenz

    Das Gebiet der Wissensprasentation und Inferenz umfasst einen zentralen Bereich der Intellektik, d.h. des Gebietes der Kunstlichen Intelligenz und der Kognitionswissenschaft. Es behandelt einerseits die Fragen nach einer formalen Beschreibung von ...

    Läs mer »

  9. Automated Theorem Proving

    av Wolfgang Bibel

    Häftad, Engelska, 1982-01-01
    595
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Theorem Proving

    Among the dreams of mankind is the one dealing with the mecha- nization of human thought. As the world today has become so complex that humans apparently fail to manage it properly with their intellectual gifts, the realization of this dream might...

    Läs mer »

  10. Automated Theorem Proving

    av Wolfgang Bibel

    Paperback / Softback, Engelska, 1987-01-01
    1142
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Theorem Proving

    Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The...

    Läs mer »

  11. 5th Conference on Automated Deduction

    av Wolfgang Bibel, R Kowalski

    Häftad, Engelska, 1980-06-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    5th Conference on Automated Deduction

    Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs a...

    Läs mer »

  12. Knstliche Intelligenz

    av Wolfgang Bibel, Jrg Siekmann

    Häftad, Tyska, 1982-12-01
    595
    Köp
    Skickas från oss inom 10-15 vardagar.
    Knstliche Intelligenz

    Unsere Zeit ist gepragt von immer komplexeren Systemen und Mechanismen. Gemeint sind die naturlichen Systeme der menschlichen Gemeinschart, der Politik, der Wirtschart, der Kommunikation, des Verkehrs. Immer starker drangt sich dem Zeitgenossen de...

    Läs mer »

  13. Mathematical Methods of Specification and Synthesis of Software Systems '85

    av Wolfgang Bibel, Klaus P Jantke

    Häftad, Engelska, 1986-06-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Mathematical Methods of Specification and Synthesis of Software Systems '85

    Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive infere...

    Läs mer »

  14. Fundamentals of Artificial Intelligence

    av Wolfgang Bibel, M E Stickel, A W Biermann, J P Delgrande, G Huet

    Häftad, Engelska, 1986-08-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fundamentals of Artificial Intelligence

    This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides ...

    Läs mer »

  15. Studien- und Forschungsfhrer Knstliche Intelligenz

    av Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger, Jrg Siekmann

    Häftad, Tyska, 1987-11-01
    595
    Köp
    Skickas från oss inom 10-15 vardagar.
    Studien- und Forschungsfhrer Knstliche Intelligenz

    Der vorliegende Studien- und Forschungsfhrer Knstliche Intelligenz gibt einen aktuellen berblick ber die in der Bundesrepublik Deutschland und in sterreich bestehenden Ausbildungsmglichkeiten im Hochschulbereich und die Forschungsaktivitten und -f...

    Läs mer »

  16. Fundamentals of Artificial Intelligence

    av Wolfgang Bibel

    Häftad, Engelska, 1987-01-01
    579
    Köp
    Skickas från oss inom 10-15 vardagar.
    Fundamentals of Artificial Intelligence

    This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides ...

    Läs mer »

  17. Lehren vom Leben

    av Wolfgang Bibel

    Häftad, Tyska, 2003-01-01
    648
    Köp
    Skickas från oss inom 10-15 vardagar.
    Lehren vom Leben

    Die Essays behandeln privates Erfahrungswissen und wissenschaftliche Erkenntnisse zu den Themenbereichen Körper, Geist, Seele, zwischenmenschliche Beziehungen, gesellschaftliche, wirtschaftliche und politische Strukturen sowie Wissenschaft, R...

    Läs mer »

  18. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Häftad, Engelska, 2010-12-09
    2260
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    The nationwide research project `Deduktion', funded by the `Deutsche Forschungsgemeinschaft (DFG)' for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensi...

    Läs mer »

  19. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Häftad, Engelska, 2010-12-06
    2260
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot pro...

    Läs mer »

  20. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    av Wolfgang Bibel, P H Schmitt

    Häftad, Engelska, 2010-12-09
    1697
    Köp
    Skickas från oss inom 10-15 vardagar.
    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect and look for pleasant surprises in this requirement of a novel combination of psy chology, logic, mathematics and technology. Hao Wang, 1970, quoted fro...

    Läs mer »