|
|
|
|
| LEADER |
01003nam a2200277 u 4500 |
| 001 |
10107065 |
| 003 |
upatras |
| 005 |
20210117204335.0 |
| 008 |
040915s GRE |
| 040 |
|
|
|a ITY
|c ITY
|
| 040 |
|
|
|a XX-XxUND
|c ITY
|
| 245 |
1 |
0 |
|a Checking monotone boolean duality with limited nondeterminism
|b TECHNICAL REPORT No.2003/07/02
|c D.J.Kavvadias, E.Stavropoulos
|
| 260 |
|
|
|a Patras-Hellas
|b CTI
|c c2003
|
| 300 |
|
|
|a 1-13 p.
|b fig.
|
| 504 |
|
|
|a references: 10-11p.
|
| 650 |
|
4 |
|a TECHNICAL REPORT
|9 117806
|
| 650 |
|
4 |
|a CTI TR 2003
|9 127333
|
| 650 |
|
4 |
|a ΤΕΧΝIΚΗ ΑΝΑΦΟΡΑ
|9 123240
|
| 700 |
1 |
|
|a Σταυρόπουλος, Ηλίας Χ.
|9 123239
|
| 700 |
1 |
|
|a καββαδίας, Δημήτρης Ι.
|9 127868
|
| 700 |
1 |
|
|a Kavvadias Dimitris J.
|9 127869
|
| 700 |
1 |
|
|a Stavropoulos Elias C.
|9 127870
|
| 852 |
|
|
|a GR-PaULI
|b ΠΑΤΡΑ
|b ΤΜΗΥΠ
|t 1
|
| 942 |
|
|
|2 ddc
|
| 952 |
|
|
|0 0
|1 0
|4 0
|7 0
|9 142397
|a CEID
|b CEID
|d 2016-04-24
|l 0
|r 2016-04-24 00:00:00
|t 1
|w 2016-04-24
|
| 999 |
|
|
|c 93142
|d 93142
|
