iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/jsc/BaazF95.rdf
Matthias Baaz and Christian G. Fermüller: Resolution-Based Theorem Proving for Manyvalued Logics. (1995) journals/jsc/BaazF95 10.1006/JSCO.1995.1021 Resolution-Based Theorem Proving for Manyvalued Logics. 2 Matthias Baaz 1 Christian G. Fermüller 2 353-391 J. Symb. Comput. J. Symb. Comput. 19 4 1995 provenance information for RDF data of dblp record 'journals/jsc/BaazF95' 2021-02-17T08:57:12+0100