Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation /
Saved in:
Main Authors: | , , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
1979
|
Subjects: | Computer science., Computer Science., Computer Science, general., |
Online Access: | http://dx.doi.org/10.1007/3-540-09724-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:177350 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1773502018-07-30T22:56:20ZEdinburgh LCF [electronic resource] : A Mechanised Logic of Computation / Gordon, Michael J. author. Milner, Arthur J. author. Wadsworth, Christopher P. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,1979.engComputer science.Computer Science.Computer Science, general.Springer eBookshttp://dx.doi.org/10.1007/3-540-09724-4URN:ISBN:9783540385264 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Computer Science. Computer Science, general. Computer science. Computer Science. Computer Science, general. |
spellingShingle |
Computer science. Computer Science. Computer Science, general. Computer science. Computer Science. Computer Science, general. Gordon, Michael J. author. Milner, Arthur J. author. Wadsworth, Christopher P. author. SpringerLink (Online service) Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
format |
Texto |
topic_facet |
Computer science. Computer Science. Computer Science, general. |
author |
Gordon, Michael J. author. Milner, Arthur J. author. Wadsworth, Christopher P. author. SpringerLink (Online service) |
author_facet |
Gordon, Michael J. author. Milner, Arthur J. author. Wadsworth, Christopher P. author. SpringerLink (Online service) |
author_sort |
Gordon, Michael J. author. |
title |
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
title_short |
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
title_full |
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
title_fullStr |
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
title_full_unstemmed |
Edinburgh LCF [electronic resource] : A Mechanised Logic of Computation / |
title_sort |
edinburgh lcf [electronic resource] : a mechanised logic of computation / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
publishDate |
1979 |
url |
http://dx.doi.org/10.1007/3-540-09724-4 |
work_keys_str_mv |
AT gordonmichaeljauthor edinburghlcfelectronicresourceamechanisedlogicofcomputation AT milnerarthurjauthor edinburghlcfelectronicresourceamechanisedlogicofcomputation AT wadsworthchristopherpauthor edinburghlcfelectronicresourceamechanisedlogicofcomputation AT springerlinkonlineservice edinburghlcfelectronicresourceamechanisedlogicofcomputation |
_version_ |
1756264262406242304 |