Approximation Techniques for Space-Efficient Compilation in Abductive Inference", Ft. Lauderdale, USA, January 2008.

Typeset version

 

TY  - CONF
  - G. Provan
  - Proc. Int¿l Symposium on AI in Mathematics
  - Approximation Techniques for Space-Efficient Compilation in Abductive Inference", Ft. Lauderdale, USA, January 2008.
  - 2008
  - January
  - Validated
  - 1
  - ()
DA  - 2008/01
ER  - 
@inproceedings{V27771504,
   = {G. Provan },
   = {Proc. Int¿l Symposium on AI in Mathematics},
   = {{Approximation Techniques for Space-Efficient Compilation in Abductive Inference", Ft. Lauderdale, USA, January 2008.}},
   = {2008},
   = {January},
   = {Validated},
   = {1},
   = {()},
  source = {IRIS}
}
AUTHORSG. Provan
TITLEProc. Int¿l Symposium on AI in Mathematics
PUBLICATION_NAMEApproximation Techniques for Space-Efficient Compilation in Abductive Inference", Ft. Lauderdale, USA, January 2008.
YEAR2008
MONTHJanuary
STATUSValidated
PEER_REVIEW1
TIMES_CITED()
SEARCH_KEYWORD
EDITORS
START_PAGE
END_PAGE
LOCATION
START_DATE
END_DATE
ABSTRACT
FUNDED_BY
URL
DOI_LINK
FUNDING_BODY
GRANT_DETAILS