Many - sorted logic and its applications

• Άλλοι συγγραφείς: Meinke, K., Tucker, J. V.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Chichester John Wiley & Sons 1993
• Θέματα: Γραμμικός προγραμματισμός; Λογική, Συμβολική και μαθηματική

Πίνακας περιεχομένων:

• Includes index