ببليوغرافيا الكتب الإنجليزية
فهرسة أكثر من أربعة ملايين وثلاثمائة ألف كتاب باللغة الإنجليزية مع ترجمة العنوان واسم المؤلف للغة العربية
Clausal form logic / Tom Richards
| Arabic Title : | منطق كلوزال: مقدمة لمنطق التفكير الحاسوبي |
| BNB number : | GB8853937 |
| Date published : | 1989 |
| Has extent : | [352]p. |
| Has note on contents : | Includes bibliography and index. |
| ISBN : | 0201129205 |
| ISBN10 : | 0201129205 |
| Author : | Richards, Tom, 1940- |
| Title : | Clausal form logic : an introduction to the logic of computer reasoning |
| Subject : | 005.131 Reasoning Logic Symbolic and mathematical Expert systems (Computer science) Expert systems(Computer science) Artificial intelligence |
| Creator : | Richards, Tom, 1940- |
| Has carrier type : | volume |
| Has content type : | text |
| Has media type : | unmediated |
| Identifier : | http://bnb.data.bl.uk/id/resource/GB8853937 |
| Language : | http://lexvo.org/id/iso639-3/eng |
| Publication : | Wokingham : Addison-Wesley, 1989 |
| Url : | 007354356 |
