Truth, deduction, and computation : logic and semantics for computer science /
Saved in:
Main Author: | |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
New York : Computer Science,
1989
|
Subjects: | INFORMATICA, LENGUAJES DE PROGRAMACION, SEMANTICA, PROCESAMIENTO DE DATOS, LOGICA SIMBOLICA, LOGICA MATEMATICA, |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
cat-unco-ar-29507 |
---|---|
record_format |
koha |
spelling |
cat-unco-ar-295072019-11-25T23:02:09ZTruth, deduction, and computation : logic and semantics for computer science / Davis, Ruth E. 66865 textNew York : Computer Science, 1989engINFORMATICALENGUAJES DE PROGRAMACIONSEMANTICAPROCESAMIENTO DE DATOSLOGICA SIMBOLICALOGICA MATEMATICAURN:ISBN:0716782014 |
institution |
UNCO AR |
collection |
Koha |
country |
Argentina |
countrycode |
AR |
component |
Bibliográfico |
access |
En linea Fisico |
databasecode |
cat-unco-ar |
tag |
biblioteca |
region |
America del Sur |
libraryname |
Biblioteca Central Francisco P. Moreno |
language |
eng |
topic |
INFORMATICA LENGUAJES DE PROGRAMACION SEMANTICA PROCESAMIENTO DE DATOS LOGICA SIMBOLICA LOGICA MATEMATICA INFORMATICA LENGUAJES DE PROGRAMACION SEMANTICA PROCESAMIENTO DE DATOS LOGICA SIMBOLICA LOGICA MATEMATICA |
spellingShingle |
INFORMATICA LENGUAJES DE PROGRAMACION SEMANTICA PROCESAMIENTO DE DATOS LOGICA SIMBOLICA LOGICA MATEMATICA INFORMATICA LENGUAJES DE PROGRAMACION SEMANTICA PROCESAMIENTO DE DATOS LOGICA SIMBOLICA LOGICA MATEMATICA Davis, Ruth E. 66865 Truth, deduction, and computation : logic and semantics for computer science / |
format |
Texto |
topic_facet |
INFORMATICA LENGUAJES DE PROGRAMACION SEMANTICA PROCESAMIENTO DE DATOS LOGICA SIMBOLICA LOGICA MATEMATICA |
author |
Davis, Ruth E. 66865 |
author_facet |
Davis, Ruth E. 66865 |
author_sort |
Davis, Ruth E. 66865 |
title |
Truth, deduction, and computation : logic and semantics for computer science / |
title_short |
Truth, deduction, and computation : logic and semantics for computer science / |
title_full |
Truth, deduction, and computation : logic and semantics for computer science / |
title_fullStr |
Truth, deduction, and computation : logic and semantics for computer science / |
title_full_unstemmed |
Truth, deduction, and computation : logic and semantics for computer science / |
title_sort |
truth, deduction, and computation : logic and semantics for computer science / |
publisher |
New York : Computer Science, |
publishDate |
1989 |
work_keys_str_mv |
AT davisruthe66865 truthdeductionandcomputationlogicandsemanticsforcomputerscience |
_version_ |
1756201602085027840 |