TYPED LAMBDA CALCULI AND APPLICATIONS

SPRINGER NATURE B.V.

TYPED LAMBDA CALCULI AND APPLICATIONS

MARTIN HOFMANN

Año edición: 27-05-2003

Colección:

EAN: 9783540403326

Idioma: INGLES

Situación im.bajo demanda

Más libros del autor

TYPED LAMBDA CALCULI AND APPLICATIONS

SPRINGER NATURE B.V.

AUTOMATA THEORY AND LOGIC

MARTIN HOFMANN/MARTIN LANGE MARTIN HOFMANN/MARTIN LANGE

9783662721537

89.41€

TYPED LAMBDA CALCULI AND APPLICATIONS

KS OMNISCRIPTUM PUBLISHING

RESOURCE DIPLOMACY IN SOUTHERN AFRICA

MARTIN E. HOFMANN

9783639188509

72.95€

TYPED LAMBDA CALCULI AND APPLICATIONS

KS OMNISCRIPTUM PUBLISHING

AUTOMATED CONSTRUCTION OF XSL-TEMPLATES

9783639001945

60.48€

TYPED LAMBDA CALCULI AND APPLICATIONS

SPRINGER NATURE B.V.

EXTENSIONAL CONSTRUCTS IN INTENSIONAL TYPE THEORY

9781447112433

195.67€