この商品を友人に教える:
Essentials of Logic Programming - Graduate Texts in Computer Science Hogger
価格
¥ 14.382
税抜
遠隔倉庫からの取り寄せ
発送予定日 年7月6日 - 年7月22日
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 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 Pink, Thomas (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, King's College London) · Free Will: A Very Short Introduction - Very Short Introductions (Paperback Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/826/9780198862826.jpg?pink-thomas-emeritus-professor-of-philosophy-emeritus-professor-of-philosophy-king-s-college-london-2027-free-will-a-very-short-introduction-very-short-introductions-paperback-book&class=scaled&v=1779708645)
![Cover for Gormley, Laurence (Professor of European Law & Jean Monnet Professor, Professor of European Law & Jean Monnet Professor, University of Groningen) · EU Taxation Law (Hardcover Book) [2 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/403/9780198735403.jpg?gormley-laurence-professor-of-european-law-jean-monnet-professor-professor-of-european-law-jean-monnet-professor-university-of-groningen-2027-eu-taxation-law-hardcover-book&class=scaled&v=1619907403)
![Cover for Bell, Emma (Professor of Organisation Studies, Professor of Organisation Studies, Stockholm School of Economics) · Business Research Methods (Paperback Book) [7 Revised edition] (2027)](https://imusic.b-cdn.net/images/item/original/615/9780198918615.jpg?bell-emma-professor-of-organisation-studies-professor-of-organisation-studies-stockholm-school-of-economics-2027-business-research-methods-paperback-book&class=scaled&v=1781538536)
