*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
    Klaus P. Jantke
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    74,89 €
    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
    Print on Demand

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

    308,28 €
    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 Netherlands
    Buch
    Print on Demand

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

    308,28 €
    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
    Print on Demand

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

    216,11 €
    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
    P. H. Schmitt
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Print on Demand

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

    271,86 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Fundamentals of Artificial Intelligence
    Fundamentals of Artificial Intelligence
    Wolfgang Bibel
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    87,63 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. 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
    Buch
    Print on Demand

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

    271,86 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Artificial Intelligence ¿ Eine Einführung
    Artificial Intelligence ¿ Eine Einführung
    Johannes Retti
    Vieweg+Teubner Verlag, Vieweg+Teubner Verlag
    Taschenbuch
    Print on Demand
    49,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Wissensrepräsentation und Inferenz
    Wissensrepräsentation und Inferenz
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Taschenbuch
    Print on Demand

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

    59,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Automated Theorem Proving
    Automated Theorem Proving
    Wolfgang Bibel
    Vieweg+Teubner Verlag
    Taschenbuch
    Print on Demand

    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
  11. Reflexionen vor Reflexen
    Reflexionen vor Reflexen
    L. Wolfgang Bibel
    Cuvillier
    Taschenbuch
    Print on Demand

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

    19,80 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Künstliche Intelligenz
    Künstliche Intelligenz
    Jörg Siekmann
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    54,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2