First Order Schemata and Inductive Proof Analysis

Name: First Order Schemata and Inductive Proof Analysis
Brand: Birkhauser
SKU: 56b3c069a8b84dc4eb66377e805f0bfb

1/1

Prices from

126.89

Featured

Description

First Order Schemata and Inductive Proof Analysis

Compare webshops (2)

Shop

Price

€ 126.89

To Shop

€ 126.89

To Shop

Description (0)

First Order Schemata and Inductive Proof Analysis

Brand	Birkhauser
EAN	9783032057402

OmniScriptum

Live Variable analysis: Data flow analysis, (programming), Computer science, Set union, Datalog,...

Chapman and Hall/CRC

Advances in High Order Sensitivity Analysis

MY BEST! RECORDS

First Order

Chapman and Hall/CRC

Advances in High Order Sensitivity Analysis