Theorem Proving in Higher Order Logics

53.49 EUR

In diesem Sammelband der TPHOLs‑Konferenz 2009 werden aktuelle Forschungsergebnisse zur formalen Verifikation in höheren Logiken zusammengefasst, wobei neue Beweistechniken und deren Anwendungen detailliert erläutert werden.

Marke: Stefan Berghofer
ISBN: 364203358X
SKU: 9783642033582
MPN: biography