Programming with Higher-Order Logic /

समान संसाधन

• Inductive logic programming
  द्वारा: Muggleton, Stephen
  प्रकाशित: (1992)
• Logic and prolog programming /
  द्वारा: Kaushik,Saroj
  प्रकाशित: (2008)
• Higher order logic theorem proving and its applications
  प्रकाशित: (1993)
• Prolog versus you: an introduction to logic programming
  द्वारा: Edman, Anneli; Author, और अन्य
  प्रकाशित: (1989)
• Logic of programming
  द्वारा: Hehner, Eric C R
  प्रकाशित: (1991)