Logic for Computer Science: Foundations of Automatic Theorem Proving - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jean H. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. Harper & Row, 1986.

@book{Gallier86,
  title = {Logic for Computer Science: Foundations of Automatic Theorem Proving},
  author = {Jean H. Gallier},
  year = {1986},
  tags = {e-science, logic},
  researchr = {https://researchr.org/publication/Gallier86},
  cites = {0},
  citedby = {0},
  publisher = {Harper &amp; Row},
  isbn = {0-06-042225-4},
}

runs on WebDSL