Many - sorted logic and its applications

• Other Authors: Meinke, K., Tucker, J. V.
• Format: Book
• Language: English
• Published: Chichester John Wiley & Sons 1993
• Subjects: Γραμμικός προγραμματισμός; Λογική, Συμβολική και μαθηματική