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
Processes, terms and cycles

Tapa de Processes, terms and cycles

Número de Cutter-SanbornM627pEntrada «Mid» → 627 · marca de obra “p”

Processes, terms and cycles

de Aart Middeldorp, Vincent van Oostrom

Materias

Lambda calculus
Machine theory
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages
Lambda-Kalkül
Logic
MATHEMATICS
Aspektorientierte Programmierung
Processus infinis

Processes, terms and cycles — Aart Middeldorp, Vincent van Oostrom | Cutter Number

Réécriture, Systèmes de (Informatique)

Reduktionssystem

Ediciones (1)

Processes, Terms and Cycles: Steps on the Road to Infinity (2006)
Springer · inglés · ISBN 9783540309116

Más obras de Aart Middeldorp

Tapa de Functional and logic programming

Functional and logic programming

Tapa de Automated Deduction - CADE-25

Automated Deduction - CADE-25

Tapa de Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

PProcesses, Terms and Cycles : Steps on the Road to Infinity

Processes, Terms and Cycles : Steps on the Road to Infinity

RRewriting Techniques and Applications

Rewriting Techniques and Applications

Ver todas las obras de Aart Middeldorp →