Wissen, was kommt.
Erweiterte Suche

Grid  List

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

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    30.06.1998

    The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...

    Gebunden
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Fundamentals of Artificial Intelligence Fundamentals of Artificial Intelligence

    Fundamentals of Artificial Intelligence

    Wolfgang Bibel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.01.1987

    This volume contains the elaborated and harmonized versions of seven lectures given at the first ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Lehren vom Leben Lehren vom Leben

    Lehren vom Leben

    Wolfgang Bibel
    Deutscher Universitätsverlag, Deutscher Universitätsverlag
    30.01.2003

    Dieses Buch bietet eine gut verständliche und umfassende Lebenshilfe auf hohem Niveau. Es unterst...

    Taschenbuch
    59,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Reflexionen vor Reflexen Reflexionen vor Reflexen

    Reflexionen vor Reflexen

    L. Wolfgang Bibel
    Cuvillier, Cuvillier
    05.05.2017

    Leonhard Wolfgang Bibel (*1938) gilt als einer der Begründer der Künstlichen Intelligenz (KI) in ...

    Taschenbuch
    19,80 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    09.12.2010

    We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect an...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Wissensrepräsentation und Inferenz Wissensrepräsentation und Inferenz

    Wissensrepräsentation und Inferenz

    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    01.07.1993

    Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d...

    Taschenbuch
    59,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Automated Theorem Proving Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    01.01.1987

    Since both the coments and the structure of the book appeared to be successful, only minor change...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Künstliche Intelligenz Künstliche Intelligenz

    Künstliche Intelligenz

    Jörg Siekmann
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.12.1982

    Unsere Zeit ist geprägt von immer komplexeren Systemen und Mechanismen. Gemeint sind die natürlic...

    Taschenbuch
    54,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    30.06.1998

    1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...

    Gebunden
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. 5th Conference on Automated Deduction 5th Conference on Automated Deduction

    5th Conference on Automated Deduction

    R. Kowalski
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.06.1980

    Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    09.12.2010

    The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Fundamentals of Artificial Intelligence Fundamentals of Artificial Intelligence

    Fundamentals of Artificial Intelligence

    Wolfgang Bibel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.08.1986

    This volume contains the elaborated and harmonized versions of seven lectures given at the first ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  13. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    30.06.1998

    We are invited to deal with mathematical activity in a sys tematic way [ ... ] one does expect an...

    Gebunden
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  14. Artificial Intelligence - Eine Einführung Artificial Intelligence - Eine Einführung

    Artificial Intelligence - Eine Einführung

    Johannes Retti
    Vieweg+Teubner Verlag, De Gruyter Saur
    01.09.1986

    Artificial Intelligence - Eine Einführung

    Taschenbuch
    49,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  15. Mathematical Methods of Specification and Synthesis of Software Systems ’85 Mathematical Methods of Specification and Synthesis of Software Systems ’85

    Mathematical Methods of Specification and Synthesis of Software Systems ’85

    Klaus P. Jantke
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.06.1986

    Verification of an alternating bit protocol by means of process algebra protocol.- Predicative pr...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  16. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    06.12.2010

    1. BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at t...

    Taschenbuch
    213,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  17. Studien- und Forschungsführer Künstliche Intelligenz Studien- und Forschungsführer Künstliche Intelligenz

    Studien- und Forschungsführer Künstliche Intelligenz

    Wolfgang Bibel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    01.11.1987

    Der vorliegende Studien- und Forschungsführer Künstliche Intelligenz gibt einen aktuellen Überbli...

    Taschenbuch
    54,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  18. Automated Theorem Proving Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    01.01.1982

    Among the dreams of mankind is the one dealing with the mecha nization of human thought. As the w...

    Taschenbuch
    54,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  19. Ausgezeichnete Informatikdissertationen 1996 Ausgezeichnete Informatikdissertationen 1996

    Ausgezeichnete Informatikdissertationen 1996

    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    01.01.1998

    Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdisser tation durch einen...

    Taschenbuch
    49,95 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  20. Mathematical Methods of Specification and Synthesis of Software Systems ’85 Mathematical Methods of Specification and Synthesis of Software Systems ’85

    Mathematical Methods of Specification and Synthesis of Software Systems ’85

    Klaus P. Jantke
    De Gruyter, De Gruyter
    31.12.1986

    No detailed description available for 'Mathematical Methods of Specification and Synthesis of Sof...

    Gebunden
    129,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  21. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

    Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implemen

    Wolfgang Bibel
    Springer London
    28.06.1998

    The nationwide research project `Deduktion', funded by the`Deutsche Forschungsgemeinschaft (DFG)'...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 412,50 €

    Jetzt 320,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  22. Multiobjective Heuristic Search Multiobjective Heuristic Search

    Multiobjective Heuristic Search

    Pallab Dasgupta
    Vieweg+Teubner, Vieweg+Teubner Verlag

    A large number of problems require the optimization of multiple criteria. These crite ria are oft...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 99,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1