The clausal theory of types

QR Code

The clausal theory of types

Bibliographic Details
Main Author:	Wolfram, D.A (Author)
Format:	Book
Language:	Inglés
Published:	Cambridge, United Kingdom Cambridge University Press 1993
Subjects:	Lógica matemática Programación de ordenadores
See on Universidad Loyola - Universidad Loyola Granada:	https://colectivo.uloyola.es/Record/55441

Request an interlibrarian loan: Email

Similar Items

The clausal theory of types

Clausal form logic : an introduction ...

Categories, types, and structures : a...

A transfinite type theory with type v...

The logical basis for computer progra...

Types and programming languages

The structure of typed programming la...

Computation as logic

Temporal logic : mathematical foundat...

An Introduction to Mathematical Logic...

Constructive order types

Diagramas de flujo : manual de lógica...

Lógica, programación e inteligencia a...

Proofs and types

Logic and objects

Lógica para la computación I

Temporal logic of programs

Las tablas de decisión : instrumento ...

Lógica, programación e inteligencia a...

Data types and structures

Logic of typed feature structures : w...

Introducción a la teoría de la comput...

Introducción a la programación. T. 1,...

La transformación de programas

Applied logic : : how, what and whay...

Multiple criteria optimización, theor...

Mathematical theory of program correc...

Logic for computer scientists

Theories of programming languages

Theory of linear and integer programming

Introduction to the theory of program...

An introduction to formal language th...

Estudios sobre programación lógica y ...

Introduction lo logic programming

Functional programming : : practice a...

Wavelet toolware

The Beginner's Guide to Mathematica V...

Programming language theory and its i...

Deductive databases and logic program...

Del bit a la telemática : introducció...