iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/issac/McCallumB09.nt
.
.
.
.
"Scott McCallum and Christopher W. Brown: On delineability of varieties in CAD-based quantifier elimination with two equational constraints. (2009)" .
.
_:ID_cac73c7af59b55515cb82a26a403bfd2 . _:ID_cac73c7af59b55515cb82a26a403bfd2
. _:ID_cac73c7af59b55515cb82a26a403bfd2
. _:ID_cac73c7af59b55515cb82a26a403bfd2
. _:ID_cac73c7af59b55515cb82a26a403bfd2
"conf/issac/McCallumB09" .
_:ID_b2374886072b644e20537c6e2db49231 . _:ID_b2374886072b644e20537c6e2db49231
. _:ID_b2374886072b644e20537c6e2db49231
. _:ID_b2374886072b644e20537c6e2db49231
. _:ID_b2374886072b644e20537c6e2db49231
"10.1145/1576702.1576715" .
"On delineability of varieties in CAD-based quantifier elimination with two equational constraints." .
.
.
.
.
.
"2"^^
.
_:Sig_82ff4449c479169514f031f572e18116_1 . _:Sig_82ff4449c479169514f031f572e18116_1
. _:Sig_82ff4449c479169514f031f572e18116_1
. _:Sig_82ff4449c479169514f031f572e18116_1
"Scott McCallum" . _:Sig_82ff4449c479169514f031f572e18116_1
. _:Sig_82ff4449c479169514f031f572e18116_1
. _:Sig_82ff4449c479169514f031f572e18116_1
"1"^^
. _:Sig_82ff4449c479169514f031f572e18116_1
.
_:Sig_82ff4449c479169514f031f572e18116_2 . _:Sig_82ff4449c479169514f031f572e18116_2
. _:Sig_82ff4449c479169514f031f572e18116_2
. _:Sig_82ff4449c479169514f031f572e18116_2
"Christopher W. Brown 0001" . _:Sig_82ff4449c479169514f031f572e18116_2
. _:Sig_82ff4449c479169514f031f572e18116_2
"2"^^
. _:Sig_82ff4449c479169514f031f572e18116_2
.
.
.
.
.
"71-78" .
"ISSAC" .
"ISSAC" .
"2009"^^
.
"2009"^^
.
.
"provenance information for RDF data of dblp record 'conf/issac/McCallumB09'" .
.
.
.
"2023-08-04T23:07:50+0200" .
