この商品を友人に教える:
Essentials of Logic Programming - Graduate Texts in Computer Science Hogger
価格
¥ 14.512
税抜
遠隔倉庫からの取り寄せ
発送予定日 年7月21日 - 年8月6日
Hogger の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Essentials of Logic Programming - Graduate Texts in Computer Science
Hogger
Presents the fundamentals of logic programming from both practical and theoretical viewpoints, covering various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation.
310 pages, line drawings, bibliography, index
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 1991年2月21日 |
| 発売日 | 1990 |
| ISBN13 | 9780198538325 |
| 出版社 | Oxford University Press |
| ページ数 | 310 |
| 寸法 | 154 × 232 × 18 mm · 512 g |
| 言語 | 英語 |
![Cover for Harris Jr., H. Stephen (Partner, Partner, Winston & Strawn LLP) · Anti-Monopoly Law and Practice in China (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/089/9780198704089.jpg?harris-jr-h-stephen-partner-partner-winston-strawn-llp-2027-anti-monopoly-law-and-practice-in-china-paperback-book&class=scaled&v=1471196294)
![Cover for Gilmore, Stephen (Professor of Family Law and Vice-Dean, Professor of Family Law and Vice-Dean, King's College London) · Hayes & Williams' Family Law (Paperback Book) [8 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/233/9780192866233.jpg?gilmore-stephen-professor-of-family-law-and-vice-dean-professor-of-family-law-and-vice-dean-king-s-college-london-2027-hayes-williams-family-law-paperback-book&class=scaled&v=1677285021)
![Cover for Schabas, William A. (Professor of International Law, Professor of International Law, Middlesex University London) · The European Convention on Human Rights: A Commentary (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/657/9780198978657.jpg?schabas-william-a-professor-of-international-law-professor-of-international-law-middlesex-university-london-2027-the-european-convention-on-human-rights-a-commentary-hardcover-book&class=scaled&v=1782771510)
![Cover for Hulur, Gizem (Professor, Professor, University of Bamberg) · The Seattle Longitudinal Study: Tracking Adult Development and Aging Over 50+ Years (Hardcover Book) [3 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/633/9780198879633.jpg?hulur-gizem-professor-professor-university-of-bamberg-2027-the-seattle-longitudinal-study-tracking-adult-development-and-aging-over-50-years-hardcover-book&class=scaled&v=1780312906)
![Cover for Katie Southwell · Oxford International History: Student Book 1 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/882/9781382073882.jpg?katie-southwell-2027-oxford-international-history-student-book-1-oxford-international-history-paperback-book&class=scaled&v=1782131625)
![Cover for Judy Clarke · Oxford International History: Student Book 2 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/899/9781382073899.jpg?judy-clarke-2027-oxford-international-history-student-book-2-oxford-international-history-paperback-book&class=scaled&v=1782131625)
![Cover for Katie Southwell · Oxford International History: Student Book 3 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/905/9781382073905.jpg?katie-southwell-2027-oxford-international-history-student-book-3-oxford-international-history-paperback-book&class=scaled&v=1782131625)
![Cover for Kerry Burns · Oxford International History: Student Book 4 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/912/9781382073912.jpg?kerry-burns-2027-oxford-international-history-student-book-4-oxford-international-history-paperback-book&class=scaled&v=1782131637)
![Cover for Susie Townsend · Oxford International History: Student Book 5 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/929/9781382073929.jpg?susie-townsend-2027-oxford-international-history-student-book-5-oxford-international-history-paperback-book&class=scaled&v=1781848447)
![Cover for Susie Townsend · Oxford International History: Student Book 6 - Oxford International History (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/936/9781382073936.jpg?susie-townsend-2027-oxford-international-history-student-book-6-oxford-international-history-paperback-book&class=scaled&v=1782131642)