cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
Type-theoretical grammar

Tapa de Type-theoretical grammar

Número de Cutter-SanbornR213tEntrada «Rant» → 213 · marca de obra “t”

Type-theoretical grammar

de Aarne Ranta · Publicada por primera vez en 1994

Materias

Comparative and general Grammar
Grammar, Comparative and general
Logic
Semantics (Philosophy)
Type theory

Ediciones (2)

Type-Theoretical Grammar (1995)
Oxford University Press · inglés · ISBN 9781280903267
Type-theoretical grammar (1994)
Clarendon Press · inglés

Más obras de Aarne Ranta

Type-theoretical grammar — Aarne Ranta | Cutter Number

Tapa de Grammatical framework

Grammatical framework

Tapa de Advances In Natural Language Processing 6th International Conference Gotal 2008 Gothenburg Sweden August 2527 2008 Proceedings

Advances In Natural Language Processing 6th International Conference Gotal 2008 Gothenburg Sweden August 2527 2008 Proceedings

Tapa de Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

AAdvances in Natural Language Processing

Advances in Natural Language Processing

Ver todas las obras de Aarne Ranta →