The Logical Basis for Computer Programming Volume 2: Deductive Systems /

Documenti analoghi

• The Logical Basis for Computer Programming: Volume 1: Deductive Reasoning /
  di: Manna, Zohar
  Pubblicazione: (1985)
• The Deductive foundations of computer programming /
  di: Manna, Zohar
  Pubblicazione: (1993, c1993)
• Mathematical Theory of Computation /
  di: Manna, Zohar
  Pubblicazione: (1974)
• Foundations of Logic Programming /
  di: Lloyd, J.W
  Pubblicazione: (1987)
• Coding and information theory / /
  di: Hamming, Richard W.
  Pubblicazione: (1980)