Adding propositional scopes to linear temporal logic : rapport technique /
by Haydar, May; Centre de recherche informatique de Montréal.
Material type:
BookSeries: Collection scientifique et technique ; CRIM-05/05-06. Publisher: Montréal : Centre de recherche informatique de Montréal, 1971Description: 24 p. : ill. ; 28 cm.ISBN: 2895220611.
| Item type | Current location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Dhaka University Library General Stacks | Non Fiction | Available | A140400(D) | ||
|
Books
|
Dhaka University Library General Stacks | Non Fiction | Available | A140401(D) |
"CRIM-Documentation/Communication".
Includes bibliographical references: leaves 22-24.
There are no comments for this item.