iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/ogai/BaazL85.nt
.
.
.
.
.
"Matthias Baaz and Alexander Leitsch: Eine Methode zur automatischen Problemreduktion. (1985)" .
.
_:ID_3ffcc65cb490656c26356c15af38e9ab . _:ID_3ffcc65cb490656c26356c15af38e9ab
. _:ID_3ffcc65cb490656c26356c15af38e9ab
. _:ID_3ffcc65cb490656c26356c15af38e9ab
. _:ID_3ffcc65cb490656c26356c15af38e9ab
"conf/ogai/BaazL85" .
_:ID_6e5bfed1bc136a2f02549b4e2960d283 . _:ID_6e5bfed1bc136a2f02549b4e2960d283
. _:ID_6e5bfed1bc136a2f02549b4e2960d283
. _:ID_6e5bfed1bc136a2f02549b4e2960d283
. _:ID_6e5bfed1bc136a2f02549b4e2960d283
"10.1007/978-3-642-46552-9_18" .
"Eine Methode zur automatischen Problemreduktion." .
.
.
.
.
.
"2"^^
.
_:Sig_f7f696569dcd4f28de2f3c0f9875d367_1 . _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
"Matthias Baaz" . _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
"1"^^
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_1
.
_:Sig_f7f696569dcd4f28de2f3c0f9875d367_2 . _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
"Alexander Leitsch" . _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
"2"^^
. _:Sig_f7f696569dcd4f28de2f3c0f9875d367_2
.
.
.
.
.
"154-163" .
"\u00D6GAI" .
"\u00D6GAI" .
"1985"^^
.
"1985"^^
.
.
"provenance information for RDF data of dblp record 'conf/ogai/BaazL85'" .
.
.
.
"2017-05-21T00:20:33+0200" .
