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
Lectures on Logic and Computation

Tapa de Lectures on Logic and Computation

Número de Cutter-SanbornB574lEntrada «Bez» → 574 · marca de obra “l”

Lectures on Logic and Computation

de Nick Bezhanishvili

Materias

Mathematical Logic and Formal Languages
Computational complexity
Symbolic and mathematical Logic
Discrete Mathematics in Computer Science
Algorithm Analysis and Problem Complexity
Logic design
Logics and Meanings of Programs
Artificial Intelligence (incl. Robotics)
Computer software

Lectures on Logic and Computation — Nick Bezhanishvili | Cutter Number

Mathematical Logic and Foundations

Artificial intelligence

Computer science

Ediciones (1)

Lectures on Logic and Computation (2012)
Springer Berlin Heidelberg · inglés · ISBN 9783642314858

Más obras de Nick Bezhanishvili

Tapa de Lectures on Logic and Computation

Lecture Notes in Computer Science Theoretical Computer Sci

Lectures on Logic and Computation Lecture Notes in Computer Science Theoretical Computer Sci

LLogic, Language, and Computation

Logic, Language, and Computation

DDick de Jongh on Intuitionistic and Provability Logics

Dick de Jongh on Intuitionistic and Provability Logics

Ver todas las obras de Nick Bezhanishvili →