Solving higher-order equations From logic to programming

• Κύριος συγγραφέας: Prehofer, Christian (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston Birkhauser 1998
• Θέματα: ΕΣΑ; COMPUTER LOGIC; Υπολογιστική
• Περιγραφή τεκμηρίου: Τομέας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων.
• Φυσική περιγραφή: vii,186p.:fig.
• ISBN: 0 8176 4032 0