iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/acm/TerwilligerC86.nt
.
.
.
.
"Robert B. Terwilliger and Roy H. Campbell: PLEASE: Predictable Logic based ExecutAble SpeCifications. (1986)" .
.
_:ID_8a83a6a58c613b316279d24de29470f0 . _:ID_8a83a6a58c613b316279d24de29470f0
. _:ID_8a83a6a58c613b316279d24de29470f0
. _:ID_8a83a6a58c613b316279d24de29470f0
. _:ID_8a83a6a58c613b316279d24de29470f0
"conf/acm/TerwilligerC86" .
_:ID_8b21aeeeedd1eb7442aa4de1b689a569 . _:ID_8b21aeeeedd1eb7442aa4de1b689a569
. _:ID_8b21aeeeedd1eb7442aa4de1b689a569
. _:ID_8b21aeeeedd1eb7442aa4de1b689a569
. _:ID_8b21aeeeedd1eb7442aa4de1b689a569
"10.1145/324634.325453" .
"PLEASE: Predictable Logic based ExecutAble SpeCifications." .
.
.
.
.
.
"2"^^
.
_:Sig_e81c61683637caedc0128d108c6b00ac_1 . _:Sig_e81c61683637caedc0128d108c6b00ac_1
. _:Sig_e81c61683637caedc0128d108c6b00ac_1
. _:Sig_e81c61683637caedc0128d108c6b00ac_1
"Robert B. Terwilliger" . _:Sig_e81c61683637caedc0128d108c6b00ac_1
. _:Sig_e81c61683637caedc0128d108c6b00ac_1
"1"^^
. _:Sig_e81c61683637caedc0128d108c6b00ac_1
.
_:Sig_e81c61683637caedc0128d108c6b00ac_2 . _:Sig_e81c61683637caedc0128d108c6b00ac_2
. _:Sig_e81c61683637caedc0128d108c6b00ac_2
. _:Sig_e81c61683637caedc0128d108c6b00ac_2
"Roy H. Campbell" . _:Sig_e81c61683637caedc0128d108c6b00ac_2
. _:Sig_e81c61683637caedc0128d108c6b00ac_2
"2"^^
. _:Sig_e81c61683637caedc0128d108c6b00ac_2
.
.
.
.
.
"349-358" .
"ACM Conference on Computer Science" .
"ACM Conference on Computer Science" .
"1986"^^
.
"1986"^^
.
.
"provenance information for RDF data of dblp record 'conf/acm/TerwilligerC86'" .
.
.
.
"2018-11-06T16:58:24+0100" .
