Algebra of Logic Programming

Նմանատիպ նյութեր

• Algebra of Logic Programming
  ‌: Seres, S, և այլն
  Հրապարակվել է: (1999)
• The Logic of Procedural Readings
  ‌: Seres, S, և այլն
  Հրապարակվել է: (1999)
• Algebraic and logic programming /
  ‌: Grabowski, J., և այլն
  Հրապարակվել է: (1988)
• A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
  ‌: Hoare, C
  Հրապարակվել է: (2015)
• Algebras for combinatorial search
  ‌: Spivey, J
  Հրապարակվել է: (2009)