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
A polymorphic type system for Prolog

AA polymorphic type system for Prolog

Número de Cutter-SanbornM995pEntrada «My» → 995 · marca de obra “p”

A polymorphic type system for Prolog

de Alan Mycroft

Materias

Prolog (Computer program language)

Ediciones (1)

A polymorphic type system for Prolog (1983)
Department of Artificial Intelligence, University of Edinburgh · inglés

Más obras de Alan Mycroft

Tapa de Modern Java in Action: Lambdas, streams, functional and reactive programming

Modern Java in Action: Lambdas, streams, functional and reactive programming

CCompiler Construction

Compiler Construction

MModern Java in Action

Modern Java in Action

A polymorphic type system for Prolog — Alan Mycroft | Cutter Number

Tapa de Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995

Static Analysis: Second International Symposium, Sas '95, Glasgow, Uk, September 25-27, 1995

AA study on abstract interpretation and "validating microcode

A study on abstract interpretation and "validating microcode algebraically"

AAbstract interpretation and optimising transformations for a

Abstract interpretation and optimising transformations for applicative programs

Ver todas las obras de Alan Mycroft →