Solving higher-order equations From logic to programming

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