טוען...
Logic in computer science Modelling and reasoning about systems /
מחבר ראשי: | |
---|---|
מחברים אחרים: | |
שפה: | Undetermined |
יצא לאור: |
Cambridge Univeristy Press ,
2004.
|
מהדורה: | 2nd ed. |
נושאים: |
University of Kerala
סימן המיקום: |
D651:(R1) P4 |
---|---|
עותק | סטטוס עדכני לא זמין |