ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
The uniform proof-theoretic foundation of linear logic programming (extended abstract) / James Harland
| Arabic Title : | مؤسسة موحدة مقررة من البرمجة المنطقية الخطية (الموسعة الملخص) |
| BNB number : | GB9425951 |
| Date published : | 1991 |
| Has extent : | 15 p. |
| Has note on contents : | Includes bibliographical references. |
| Author : | Harland, James |
| Title : | The uniform proof-theoretic foundation of linear logic programming (extended abstract) |
| Contributor : | Pym David University of Edinburgh. Laboratory for Foundations of Computer Science |
| Subject : | Logic programming |
| Creator : | Harland, James |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Description : | Cover title. |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB9425951 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Edinburgh : LFCS, Dept. of Computer Science, University of Edinburgh, 1991 |
| Url : | 007704969 |
