BibTeX record: series/faia/2010-208

download as .bib file

@book{DBLP:series/faia/2010-208,
  author    = {Gian Luca Pozzato},
  title     = {Conditional and Preferential Logics: Proof Methods and Theorem Proving},
  series    = {Frontiers in Artificial Intelligence and Applications},
  year      = {2010},
  volume    = {208},
  publisher = {{IOS} Press},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=14473},
  isbn      = {978-1-60750-094-0},
  timestamp = {Thu, 02 Oct 2014 08:46:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/faia/2010-208},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}