Skip to content
Metabuscador Bibliografico
Metabuscador CNEA
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Channels
Computer programming and formal systems.
Search for more channels:
Similar Items: Computer programming and formal systems.
Channel Options
View Record
Explore related channels
Quick Look
A primer of formal logic
Quick Look
Computer programming in basic
Quick Look
Functional and logic programming.
Quick Look
Introduction to symbolic logic and its applications.
Quick Look
The Elements of mathematical logic
Quick Look
Les Fondements logiques des mathématiques
Quick Look
Introducción a la filosofía matemática
Quick Look
The philosophy of mathematics
Quick Look
Introducción al simbolismo lógico
Quick Look
Introducción a los conjuntos numéricos
Quick Look
Introduction to metamathematics
Quick Look
Nonlinear programming: Analysis and methods
Quick Look
Applied nonlinear programming
Quick Look
The autobiography of Bertrand Russell (1872-1914)
Quick Look
The autobiography of Bertrand Russell (1914-1944)
Quick Look
Mathematical programming in theory and practice
Quick Look
The art of making sense : a guide to logical thinking.
Quick Look
Algèbre moderne et activités humaines
Quick Look
Fundamental concepts of programming systems.
Quick Look
Modèles mathèmatiques de la morpohogèse: recueil de textes sur la thèorie des catastrophes et ses applications
Quick Look
Approaches to integer programming
Quick Look
Guide to parallel programming on Sequent computer systems.
Quick Look
Computer programs for computational assistance in the study of linear control theory
Quick Look
Pseudo-boolean methods for bivalent programming
Load more items
Topic: PROGRAMACION
Channel Options
Show items as search results
Explore related channels
Quick Look
La programación dinámica
Quick Look
Integer programming
Quick Look
Computer programming and formal systems.
Quick Look
Sistemas de tiempo real en el proceso de datos
Quick Look
10th Conference Cloud Computing, Big Data & Emerging Topics. Proceedings
Quick Look
Engineering mathematics
Quick Look
Program design and construction /
Quick Look
El lenguaje de programación C /
Quick Look
Microsoft Word para Windows 95 a su alcance /
Quick Look
Digital computer system principles /
Quick Look
Operations research for managment: Case histories, methods, information handling
Quick Look
PC magazine Visual Basic utilities /
Load more items
Topic: LOGICA MATEMATICA
Channel Options
Show items as search results
Explore related channels
Quick Look
Introduction to symbolic logic and its applications.
Quick Look
Computer programming and formal systems.
Quick Look
Les Fondements logiques des mathématiques
Quick Look
The Elements of mathematical logic
Quick Look
Algèbre moderne et activités humaines
Quick Look
Introduction to metamathematics
Quick Look
Modèles mathèmatiques de la morpohogèse: recueil de textes sur la thèorie des catastrophes et ses applications
Quick Look
Tipologie et perception: Bases philosophiques et mathematiques
Quick Look
Introducción al simbolismo lógico
Quick Look
The autobiography of Bertrand Russell (1872-1914)
Quick Look
The autobiography of Bertrand Russell (1914-1944)
Load more items
Author: Braffort, P.
Channel Options
Show items as search results
Explore related channels
Quick Look
Computer programming and formal systems.
Load more items
Author: Hirschberg, D.
Channel Options
Show items as search results
Explore related channels
Quick Look
Computer programming and formal systems.
Load more items
View Record
Prev
Explore related channels
Next