Computer science logic /

অনুরূপ উপাদানগুলি

• Logic In Computer Science /
  অনুযায়ী: Huth, Michael .
  প্রকাশিত: (2004)
• Logics for computer science
  অনুযায়ী: Singh, Arindama
  প্রকাশিত: (2004)
• Logic for computer science : foundations of automatic theorem proving /
  অনুযায়ী: Gallier, Jean H.
  প্রকাশিত: (1986)
• Logic in computer science Modelling and reasoning about systems /
  অনুযায়ী: Huth, Michael
  প্রকাশিত: (2004)
• Handbook of logic and proof techniques for computer science
  অনুযায়ী: karntz, Steven G
  প্রকাশিত: (2002)