iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/icalt/WongCY05.nt
.
.
.
.
"Wing-Kwong Wong et al.: A Dynamic Geometry Environment for Learning Theorem Proving. (2005)" .
.
_:ID_e6317d9b5b359376c626b9b1a0e1e835 . _:ID_e6317d9b5b359376c626b9b1a0e1e835
. _:ID_e6317d9b5b359376c626b9b1a0e1e835
. _:ID_e6317d9b5b359376c626b9b1a0e1e835
. _:ID_e6317d9b5b359376c626b9b1a0e1e835
"conf/icalt/WongCY05" .
_:ID_a9988344297c66b9a05f924b43f23137 . _:ID_a9988344297c66b9a05f924b43f23137
. _:ID_a9988344297c66b9a05f924b43f23137
. _:ID_a9988344297c66b9a05f924b43f23137
. _:ID_a9988344297c66b9a05f924b43f23137
"10.1109/ICALT.2005.5" .
"A Dynamic Geometry Environment for Learning Theorem Proving." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_8480a4eb7f215f326475e101c4cdb3f1_1 . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
"Wing-Kwong Wong" . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
"1"^^
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_1
.
_:Sig_8480a4eb7f215f326475e101c4cdb3f1_2 . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
"Bo-Yu Chan" . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
"2"^^
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_2
.
_:Sig_8480a4eb7f215f326475e101c4cdb3f1_3 . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
"Sheng-Kai Yin" . _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
"3"^^
. _:Sig_8480a4eb7f215f326475e101c4cdb3f1_3
.
.
.
.
.
.
"15-17" .
"ICALT" .
"ICALT" .
"2005"^^
.
"2005"^^
.
.
"provenance information for RDF data of dblp record 'conf/icalt/WongCY05'" .
.
.
.
"2023-03-23T23:59:51+0100" .
