First Order Schemata and Inductive Proof Analysis

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

1/1

Prices from

141.57

Featured

	€ 141.57	To Shop
	€ 141.57	To Shop

Description

First Order Schemata and Inductive Proof Analysis

Compare webshops (2)

Shop

Price

€ 141.57

To Shop

€ 141.57

To Shop

Description (0)

First Order Schemata and Inductive Proof Analysis

Brand	Birkhauser
EAN	9783032057402

Prices were last updated on: 03-06-2026, 07:05

OmniScriptum

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

Chapman and Hall/CRC

Advances in High Order Sensitivity Analysis

Chapman and Hall/CRC

Advances in High Order Sensitivity Analysis

Independently Published

THE FIRST ORDER: Order Before Action

Featured Choice

€ 141.57

To Shop