Automated Theorem Proving 1
bokomslag Automated Theorem Proving
Data & IT

Automated Theorem Proving

Wolfgang Bibel

Häftad

1439:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

  • 289 sidor
  • 1987
  • Författare: Wolfgang Bibel
  • Format: Häftad
  • ISBN: 9783528185206
  • Språk: Engelska
  • Antal sidor: 289
  • Utgivningsdatum: 1987-01-01
  • Förlag: Vieweg+teubner Verlag

Du kanske gillar

  1. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Wolfgang Bibel

    Pocket

    769:-
  2. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Monty Newborn

    Pocket

    1719:-
  3. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2849:-
  4. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2139:-
  5. bokomslag Wissensrepräsentation und Inferenz

    Wissensrepräsentation und Inferenz

    Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub

    Pocket

    809:-
  6. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    2849:-
  7. bokomslag Automated Theorem Proving

    Automated Theorem Proving

    Monty Newborn

    Inbunden

    2139:-
  8. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2139:-
  9. bokomslag Fundamentals of Artificial Intelligence

    Fundamentals of Artificial Intelligence

    Wolfgang Bibel

    Pocket

    749:-
  10. bokomslag Automated Theorem Proving in Software Engineering

    Automated Theorem Proving in Software...

    Johann M Schumann

    749:-

Andra av samma författare

  1. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2849:-
  2. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2849:-
  3. bokomslag 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 App...

    Wolfgang Bibel, P H Schmitt, P H Schmitt

    Inbunden

    2139:-
  4. bokomslag Mathematical Methods of Specification and Synthesis of Software Systems '85

    Mathematical Methods of Specification...

    Klaus P Jantke Wolfgang Bibel

    Inbunden

    2899:-
  5. bokomslag SAP R/3¿ Guide to EDI and Interfaces

    SAP R/3¿ Guide to EDI and Interfaces

    Axel Angeli, Ulrich Streit, Robi Gonfalonieri, Wolfgang Bibel

    Pocket

    729:-
  6. bokomslag Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization

    Multiobjective Heuristic Search: An I...

    Wolfgang Bibel Pallab Dasgupta

    Häftad

    739:-
  7. bokomslag Scalable Search in Computer Chess: Algorithmic Enhancements and Experiments at High Search Depths

    Scalable Search in Computer Chess: Al...

    Wolfgang Bibel Ernst A Heinz

    Häftad

    1419:-
  8. bokomslag Efficiency of Theorem Proving Strategies

    Efficiency of Theorem Proving Strategies

    David A Plaisted, Yunshan Zhu, Wolfgang Bibel

    Pocket

    729:-
  9. bokomslag 5th Conference on Automated Deduction

    5th Conference on Automated Deduction

    R Kowalski Wolfgang Bibel

    Pocket

    729:-
  10. bokomslag Mathematical Methods of Specification and Synthesis of Software Systems '85

    Mathematical Methods of Specification...

    Klaus P Jantke Wolfgang Bibel

    Pocket

    749:-