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
Logic for problem solving

Tapa de Logic for problem solving

Número de Cutter-SanbornK88lEntrada «Kou» → 88 · marca de obra “l”

Logic for problem solving

de Robert Kowalski

5.0 · 1 votos

Materias

Computer programming
Problem solving
Symbolic and mathematical Logic
Electronic digital computers
Programming
Wiskundige logica
Logique symbolique et mathématique

Logic for problem solving — Robert Kowalski | Cutter Number

Programmeren (computers)

Résolution de problème

Programmation (Informatique)

Automatisches Beweisverfahren

Ediciones (3)

Logic for problem solving (1979)
Elsevier North Holland · inglés
Logic for Problem Solving (1979)
North-Holland · ISBN 9780444003683
Logic for problem solving. (1974)
University of Edinburgh, School of Artificial Intelligence · inglés

Más obras de Robert Kowalski

TAPSOFT '87

Tapa de Computational logic and human thinking

Computational logic and human thinking

Tapa de Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)

Tapa de Computational logic

Computational logic

Tapa de Logic programming

Logic programming

Tapa de The CLI Book: Writing Successful Command Line Interfaces with Node.js

The CLI Book: Writing Successful Command Line Interfaces with Node.js

Ver todas las obras de Robert Kowalski →