A tutorial on the Warren abstract machine for computational logic

Detalles Bibliográficos
Autores principales: Gabriel, J R, Lindholm, T, Lusk, E L, Overbeek, R A
Lenguaje:eng
Publicado: Argonne Nat. Lab. 1985
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/162121
_version_ 1780880787603718144
author Gabriel, J R
Lindholm, T
Lusk, E L
Overbeek, R A
author_facet Gabriel, J R
Lindholm, T
Lusk, E L
Overbeek, R A
author_sort Gabriel, J R
collection CERN
id cern-162121
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1985
publisher Argonne Nat. Lab.
record_format invenio
spelling cern-1621212019-09-30T06:29:59Zhttp://cds.cern.ch/record/162121engGabriel, J RLindholm, TLusk, E LOverbeek, R AA tutorial on the Warren abstract machine for computational logicComputing and ComputersArgonne Nat. Lab.ANL-84-84oai:cds.cern.ch:1621211985
spellingShingle Computing and Computers
Gabriel, J R
Lindholm, T
Lusk, E L
Overbeek, R A
A tutorial on the Warren abstract machine for computational logic
title A tutorial on the Warren abstract machine for computational logic
title_full A tutorial on the Warren abstract machine for computational logic
title_fullStr A tutorial on the Warren abstract machine for computational logic
title_full_unstemmed A tutorial on the Warren abstract machine for computational logic
title_short A tutorial on the Warren abstract machine for computational logic
title_sort tutorial on the warren abstract machine for computational logic
topic Computing and Computers
url http://cds.cern.ch/record/162121
work_keys_str_mv AT gabrieljr atutorialonthewarrenabstractmachineforcomputationallogic
AT lindholmt atutorialonthewarrenabstractmachineforcomputationallogic
AT luskel atutorialonthewarrenabstractmachineforcomputationallogic
AT overbeekra atutorialonthewarrenabstractmachineforcomputationallogic
AT gabrieljr tutorialonthewarrenabstractmachineforcomputationallogic
AT lindholmt tutorialonthewarrenabstractmachineforcomputationallogic
AT luskel tutorialonthewarrenabstractmachineforcomputationallogic
AT overbeekra tutorialonthewarrenabstractmachineforcomputationallogic

Ejemplares similares