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.org/rec/conf/wadt/Borzyszkowski99.rdf
Tomasz Borzyszkowski: Higher-Order Logic and Theorem Proving for Structured Specifications. (1999) conf/wadt/Borzyszkowski99 10.1007/978-3-540-44616-3_23 Higher-Order Logic and Theorem Proving for Structured Specifications. 1 Tomasz Borzyszkowski 1 401-418 WADT WADT 1999 2000 provenance information for RDF data of dblp record 'conf/wadt/Borzyszkowski99' 2017-05-21T00:18:48+0200