iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/wadt/Borzyszkowski99.nt
.
.
.
.
"Tomasz Borzyszkowski: Higher-Order Logic and Theorem Proving for Structured Specifications. (1999)" .
.
_:ID_d61dfda13cc4049ee8c67d7520ba4add . _:ID_d61dfda13cc4049ee8c67d7520ba4add
. _:ID_d61dfda13cc4049ee8c67d7520ba4add
. _:ID_d61dfda13cc4049ee8c67d7520ba4add
. _:ID_d61dfda13cc4049ee8c67d7520ba4add
"conf/wadt/Borzyszkowski99" .
_:ID_ddcb1d0ab1dac361dcba0e35d3aeedfd . _:ID_ddcb1d0ab1dac361dcba0e35d3aeedfd
. _:ID_ddcb1d0ab1dac361dcba0e35d3aeedfd
. _:ID_ddcb1d0ab1dac361dcba0e35d3aeedfd
. _:ID_ddcb1d0ab1dac361dcba0e35d3aeedfd
"10.1007/978-3-540-44616-3_23" .
"Higher-Order Logic and Theorem Proving for Structured Specifications." .
.
.
.
"1"^^
.
_:Sig_88aba90322d6765a9b5428d706ccbc99_1 . _:Sig_88aba90322d6765a9b5428d706ccbc99_1
. _:Sig_88aba90322d6765a9b5428d706ccbc99_1
. _:Sig_88aba90322d6765a9b5428d706ccbc99_1
"Tomasz Borzyszkowski" . _:Sig_88aba90322d6765a9b5428d706ccbc99_1
. _:Sig_88aba90322d6765a9b5428d706ccbc99_1
"1"^^
. _:Sig_88aba90322d6765a9b5428d706ccbc99_1
.
.
.
.
.
"401-418" .
"WADT" .
"WADT" .
"1999"^^
.
"2000"^^
.
.
"provenance information for RDF data of dblp record 'conf/wadt/Borzyszkowski99'" .
.
.
.
"2017-05-21T00:18:48+0200" .
