iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/mkm/QuaresmaJ06.nt
.
.
.
.
"Pedro Quaresma and Predrag Janicic: Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. (2006)" .
.
_:ID_d3b2624c1af8db0f2d2271739520b610 . _:ID_d3b2624c1af8db0f2d2271739520b610
. _:ID_d3b2624c1af8db0f2d2271739520b610
. _:ID_d3b2624c1af8db0f2d2271739520b610
. _:ID_d3b2624c1af8db0f2d2271739520b610
"conf/mkm/QuaresmaJ06" .
_:ID_efb5951db1a9d88ce77824dbca181a19 . _:ID_efb5951db1a9d88ce77824dbca181a19
. _:ID_efb5951db1a9d88ce77824dbca181a19
. _:ID_efb5951db1a9d88ce77824dbca181a19
. _:ID_efb5951db1a9d88ce77824dbca181a19
"10.1007/11812289_22" .
"Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories." .
.
.
.
.
.
"2"^^
.
_:Sig_f07d32f0bdbbfe5349ed421837e3d954_1 . _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
"Pedro Quaresma" . _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
"1"^^
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_1
.
_:Sig_f07d32f0bdbbfe5349ed421837e3d954_2 . _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
"Predrag Janicic" . _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
"2"^^
. _:Sig_f07d32f0bdbbfe5349ed421837e3d954_2
.
.
.
.
.
"280-294" .
"MKM" .
"MKM" .
"2006"^^
.
"2006"^^
.
.
"provenance information for RDF data of dblp record 'conf/mkm/QuaresmaJ06'" .
.
.
.
"2020-06-15T17:04:56+0200" .
