Handbook of Practical Logic and Automated Reasoning

cover

@Book{            Harrison:CUP:2009,
  Author        = "Harrison, John",
  date-added    = "2020-04-10 11:07:26 +0200",
  date-modified = "2020-11-19 17:02:56 +0100",
  ISBN          = "0521899575,9780521899574",
  Publisher     = "Cambridge University Press",
  Title         = "Handbook of Practical Logic and Automated Reasoning",
  URL           = "http://gen.lib.rus.ec/book/index.php?md5=A8C1B2D6F1D0457532EE26E399959B0F",
  Year          = "2009",
  bdsk-url-1    = "http://gen.lib.rus.ec/book/index.php?md5=A8C1B2D6F1D0457532EE26E399959B0F",
  File          = "[Harrison\_J.]\_Handbook\_of\_Practical\_Logic\_and\_Auto(BookFi) (0) - a - a - a.pdf"
}

@Book{ Harrison:CUP:2009, Author = "Harrison, John", date-added = "2020-04-10 11:07:26 +0200", date-modified = "2020-11-19 17:02:56 +0100", ISBN = "0521899575,9780521899574", Publisher = "Cambridge University Press", Title = "Handbook of Practical Logic and Automated Reasoning", URL = "http://gen.lib.rus.ec/book/index.php?md5=A8C1B2D6F1D0457532EE26E399959B0F", Year = "2009", bdsk-url-1 = "http://gen.lib.rus.ec/book/index.php?md5=A8C1B2D6F1D0457532EE26E399959B0F", File = "[Harrison_J.]_Handbook_of_Practical_Logic_and_Auto(BookFi) (0) - a - a - a.pdf" }