B.Rovan, Ed. See IBM Germany IWBS Report 115, April 1990. Reprinted in: E.Boerger, K.Daessler (eds.): PROLOG. DIN papers for discussion. ISO/IEC JTC1 SC22 WG17 report no.58, National Physical Laboratory, Middlesex, April 1990, pp.92-114.
A logical operational semantics for full Prolog. Part II: Built-in predicates for database manipulations
BORGER, EGON
1990-01-01
Abstract
B.Rovan, Ed. See IBM Germany IWBS Report 115, April 1990. Reprinted in: E.Boerger, K.Daessler (eds.): PROLOG. DIN papers for discussion. ISO/IEC JTC1 SC22 WG17 report no.58, National Physical Laboratory, Middlesex, April 1990, pp.92-114.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
