| 000 | 00974cam a22002657a 4500 | ||
|---|---|---|---|
| 001 | 14324599 | ||
| 003 | BD-DhUL | ||
| 005 | 20161120143126.0 | ||
| 008 | 060331s2005 quca b 000 0 eng | ||
| 010 | _a 2006389410 | ||
| 020 | _a2895220611 | ||
| 040 |
_aDLC _cDLC _dBD-DhUL |
||
| 050 | 0 | 0 | _aMLCM 2006/41763 |
| 245 | 0 | 0 |
_aAdding propositional scopes to linear temporal logic : _brapport technique / _cMay Haydar ... [et al.]. |
| 260 |
_aMontréal : _bCentre de recherche informatique de Montréal, _c1971. |
||
| 300 |
_a24 p. : _bill. ; _c28 cm. |
||
| 440 | 0 |
_aCollection scientifique et technique ; _vCRIM-05/05-06 |
|
| 500 | _a"CRIM-Documentation/Communication". | ||
| 504 | _aIncludes bibliographical references: leaves 22-24. | ||
| 700 | 1 |
_aHaydar, May, _d1974- |
|
| 710 | 2 | _aCentre de recherche informatique de Montréal. | |
| 906 |
_a7 _bcbc _corigres _d3 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 955 |
_ajg87 2006-08-14 z-processor _hjf05 2006-08-29 |
||
| 999 |
_c126079 _d126079 |
||