BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
out (2)
power (2)
condens (2)
code (1)
aggreg (1)

Stem detach$ (all stems)

5 papers:

KRKR-2014-ParentT #reasoning
Aggregative Deontic Detachment for Normative Reasoning (XP, LvdT).
SIGIRSIGIR-2011-Yom-TovD #physics #social
Out of sight, not out of mind: on the effect of social and physical detachment on information need (EYT, FD), pp. 385–394.
DACDAC-2010-FujitaYLCAW #power management
Detachable nano-carbon chip with ultra low power (SF, SY, DL, XC, DA, HSPW), pp. 631–632.
CADECADE-1997-FuchsF #named #problem #proving
CODE: A Powerful Prover for Problems of Condensed Detachment (DF, MF), pp. 260–263.
CADECADE-1992-McCuneW #automation #deduction
Experiments in Automated Deduction with Condensed Detachment (WM, LW), pp. 209–223.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.