Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approac

Ø 0.0

0 Bewertungen

57,22 €

Traditionally, computer simulation techniques are used to perform probabilistic analysis. The case studies of the round-off error of a digital processor, the Coupon Collector's problem and the Stop-and-Wait protocol are used to illustrate the proposed analysis approach.

Jetzt bei Ebay:

Zum Angebot *

ISBN-13:

9783639094725
Book Title:

Probabilistic Analysis using Theorem Proving
ISBN:

9783639094725

None:

International Standard : tracked-no signature (7 to 15 business days) 14,58 EUR - Lieferung zwischen 25. June 2025 und 04. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Afghanistan , Armenien , Aserbaidschan , Bangladesch , Bhutan , Georgien , Indien , Kasachstan , Kirgisistan , Mongolei , ... und weitere

Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approac

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Higher Order Logic Theorem Proving and Its Applications: 8th International Works

Higher Order Logic Theorem Proving and Its Applications: 7th International Works

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edi

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Higher Order Logic Theorem Proving and Its Applications: 6th International Works

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier

Symbolic Logic and Mechanical Theorem Proving Hardcover

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

Combination of Geometry Theorem Proving and Nonstandard Analysis With Applica...

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape

Probabilistic Logic in a Coherent Setting

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edi

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 20

Probabilistic Analysis using Theorem Proving: A Higher-order Logic Based Approac

Ähnliche Artikel

Logic For Computer Science- Foundations of Automatic Theorem Proving J Gallier

Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving

Higher Order Logic Theorem Proving and Its Applications: 8th International Works

Higher Order Logic Theorem Proving and Its Applications: 7th International Works

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edi

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Higher Order Logic Theorem Proving and Its Applications: 6th International Works

Logic for Computer Science: Foundations of Automatic Theorem Proving by Gallier

Symbolic Logic and Mechanical Theorem Proving Hardcover

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving by Os

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functio

Combination of Geometry Theorem Proving and Nonstandard Analysis With Applica...

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

First-Order Logic and Automated Theorem Proving by Melvin Fitting (English) Pape

Probabilistic Logic in a Coherent Setting

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edi

First-Order Logic and Automated Theorem Proving Melvin Fitting hc

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 20

Cookie Hinweis