Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Name: Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic
Brand: OmniScriptum
SKU: 1a513f2c6044dac66a958d082ed61981

1/1

Prices from

145.79

Featured

Description

Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Compare webshops (2)

Shop

Price

€ 145.79

To Shop

€ 145.79

To Shop

Description (0)

Prenex Normal Form: Predicate Calculus, Form, Quantifier, Classical Logic

Brand	OmniScriptum
EAN	9786133067547

Books On Demand

Formal Logic: Propositional Logic, Predicate Modal and Non-Classical Logics

OmniScriptum

Algebraic Normal Form: Boolean logic, form, Automated theorem proving, Random number generation,...

Oxford University Press

Analyzing Classical Form: An Approach for the Classroom

OmniScriptum

Metacompilation: Partial Evaluation, Abstract Syntax, Administrative Normal Form