|
|
|
|
| LEADER |
01234nam a2200265 u 4500 |
| 001 |
10105706 |
| 003 |
upatras |
| 005 |
20210423114539.0 |
| 008 |
000519s eng |
| 020 |
|
|
|a 0 8176 4032 0
|
| 040 |
|
|
|a Βιβλιοθήκη ΙΤΥ
|c Βιβλιοθήκη ΙΤΥ
|
| 040 |
|
|
|a XX-XxUND
|c Βιβλιοθήκη ΙΤΥ
|
| 082 |
0 |
4 |
|a 005.131
|
| 245 |
1 |
0 |
|a Solving higher-order equations
|b From logic to programming
|c Christian Prehofer
|
| 260 |
|
|
|a Boston
|b Birkhauser
|c 1998
|
| 300 |
|
|
|c vii,186p.:fig.
|
| 500 |
|
|
|a Τομέας εφαρμογων και θεμελιωσεων της επιστημης των υπολογιστων. Εργαστηριο συνδυαστικων αλγοριθμων.
|
| 650 |
|
4 |
|a ΕΣΑ
|9 113671
|
| 650 |
|
4 |
|a COMPUTER LOGIC
|9 119958
|
| 650 |
|
4 |
|a Υπολογιστική
|9 63558
|
| 700 |
1 |
|
|a Prehofer, Christian
|4 aut
|9 125083
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|h 005.131 PRE
|t 1
|
| 942 |
|
|
|2 ddc
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 005_131000000000000_PRE
|7 0
|8 NFIC
|9 138306
|a LISP
|b LISP
|c ALFf
|d 2016-04-24
|l 0
|o 005.131 PRE
|p 025000284146
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|y BK15
|x Μεταφορά από Τμ. Μηχανικών ΗΥ & Πληροφορικής
|
| 999 |
|
|
|c 90498
|d 90498
|
