DBLP Record 'journals/tplp/Raamsdonk01'

BibTeX

@article{DBLP:journals/tplp/Raamsdonk01,
  author    = {Femke van Raamsdonk},
  title     = {Book Review - Logic in Computer Science: Modelling and Reasoning
               about Systems by Michael R. A. Huth and Mark D. Ryan, Cambridge
               University Press, 2000, ISBN 0521652006, (hardback), ISBN
               0521656028, (paperback)},
  journal   = {TPLP},
  volume    = {1},
  number    = {1},
  year      = {2001},
  pages     = {123-125},
  ee        = {http://www.cs.bham.ac.uk/research/lics/},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}