Solving higher-order equations From logic to programming

• Main Author: Prehofer, Christian (Author)
• Format: Book
• Language: English
• Published: Boston Birkhauser 1998
• Subjects: ΕΣΑ; COMPUTER LOGIC; Υπολογιστική
• Item Description: Τομέας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων.
• Physical Description: vii,186p.:fig.
• ISBN: 0 8176 4032 0