Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Sudan, Madhu (Συγγραφέας)
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Berlin New York Springer-Verlag Association for Computing Machinery c1995
Σειρά:Lecture Notes in Computer Science / G. Goos and J. Hartmanis 1001
Θέματα:
LEADER 01383cam a22002773u 4500
001 10104466
003 upatras
005 20210525191106.0
008 991022s eng
020 |a 3 540 60615 7 
040 |a Βιβλιοθήκη ΕΑΙΤΥ  |c Βιβλιοθήκη ΕΑΙΤΥ 
041 0 |a eng 
245 1 0 |a Efficient Checking of Polynomials and Proofs and the Hardness of Approximation Problems 
260 |a Berlin  |a New York  |b Springer-Verlag  |b Association for Computing Machinery  |c c1995 
300 |a XIV,87p. 
490 0 |a Lecture Notes in Computer Science / G. Goos and J. Hartmanis  |v 1001 
500 |a βιβλιογραφία: σσ.73-78 περιλαμβάνει ευρετήριο Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών 
650 4 |a Λογισμός  |9 113817 
650 4 |a Πολυώνυμα  |9 46864 
650 4 |a ΕΘΕΥ  |9 121791 
700 1 |a Sudan, Madhu  |4 aut  |9 118820 
760 0 |a Lecture notes in computer science  |g 1001 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΤΜΗΥΠ  |h 515.252 SUD  |t 1 
942 |2 ddc 
952 |0 0  |1 0  |2 ddc  |4 0  |6 515_252000000000000_SUD  |7 0  |8 NFIC  |9 134549  |a LISP  |b LISP  |c ALFf  |d 2016-04-24  |l 0  |o 515.252 SUD  |p 025000282864  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15  |x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής 
999 |c 88079  |d 88079