*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Mathematical Methods of Specification and Synthesis of Software Systems ’85
    Mathematical Methods of Specification and Synthesis of Software Systems ’85
    Wolfgang Bibel
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    BOD - 2 Tage

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

    216,15 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 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
    P. H. Schmitt
    Springer Netherlands, Springer
    Taschenbuch
    BOD - 2 Tage

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

    162,60 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 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
    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    BOD - 2 Tage

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

    216,15 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Fundamentals of Artificial Intelligence
    Fundamentals of Artificial Intelligence
    Wolfgang Bibel
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Artificial Intelligence - Eine Einführung
    Artificial Intelligence - Eine Einführung
    Johannes Retti
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    Taschenbuch
    BOD - 2 Tage
    49,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Wissensrepräsentation und Inferenz
    Wissensrepräsentation und Inferenz
    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    Taschenbuch
    BOD - 2 Tage

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

    59,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Automated Theorem Proving
    Automated Theorem Proving
    Wolfgang Bibel
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    Taschenbuch
    BOD - 2 Tage

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

    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Reflexionen vor Reflexen
    Reflexionen vor Reflexen
    L. Wolfgang Bibel
    Cuvillier, Cuvillier
    Taschenbuch
    BOD - 2 Tage

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

    19,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Künstliche Intelligenz
    Künstliche Intelligenz
    Jörg Siekmann
    Springer Berlin Heidelberg, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

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

    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. 5th Conference on Automated Deduction
    5th Conference on Automated Deduction
    Wolfgang Bibel
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Fundamentals of Artificial Intelligence
    Fundamentals of Artificial Intelligence
    Wolfgang Bibel
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2