首页> 外文OA文献 >Logic and computation—Interactive proof with Cambridge LCF By L.C. Paulson. Cambridge University Press, Cambridge, 1987, Price £27.50, ISBN 0 521 34632 0

【2h】

Logic and computation—Interactive proof with Cambridge LCF By L.C. Paulson. Cambridge University Press, Cambridge, 1987, Price £27.50, ISBN 0 521 34632 0

机译：逻辑与计算-剑桥LCF的交互式证明L.C.保尔森。剑桥大学出版社，剑桥，1987，价格£27.50，ISBN 0 521 34632 0

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
相似文献
相关主题

著录项

作者
Nipkow Tobias;
展开▼
作者单位

展开▼
年度 1988
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献

1. Jack Lynch and Anne McDermott, Anniversary Essays on Johnson's Dictionary. Pp. xi + 245. Cambridge, New York, Oakleigh: Cambridge University Press, 2005. ￡45.00 (ISBN 0 521 84844 X).Samuel Johnson, Samuel Johnson's Unpublished Revisions to the Dictionary of the English Language. A Facsmile Edition, ed. Allen Reddick. Pp. xxix + facsimile. Cambridge, New York, Oakleigh: Cambridge University Press, 2005. ￡100.00 (ISBN 0 521 84470 3). [J] . Lynda Mugglestone Notes and Queries . 2006,第4期

机译：杰克·林奇（Jack Lynch）和安妮·麦克德莫特（Anne McDermott），《约翰逊词典》周年纪念散文。 Pp。 xi +245。剑桥，纽约，奥克利：剑桥大学出版社，2005。￡ 45.00（ISBN 0 521 84844 X）。塞缪尔·约翰逊，塞缪尔·约翰逊未出版的《英语词典》修订版。 Facsmile版，编辑。艾伦·雷迪克（Allen Reddick）。 Pp。 xxix +传真。纽约剑桥，奥克利：剑桥大学出版社，2005年。￡ 100.00（ISBN 0 521 84470 3）。
2. Richard Tiezsen, Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge: Cambridge University Press, 2005. ISBN-13 978-0-521-83782-8; ISBN-10 0-521-83782-0. Pp. x + 357. [J] . Philosophia Mathematica . 2006,第2期

机译：理查德·蒂森（Richard Tiezsen），现象学，逻辑学和数学哲学。剑桥：剑桥大学出版社，2005年。ISBN-13978-0-521-83782-8； ISBN-10 0-521-83782-0。 Pp。 x + 357。
3. Thomas Keymer and Jon Mee (eds), The Cambridge Companion to English Literature 1740–1830. Pp. xv + 308 (Cambridge Companions to Literature). Cambridge, New York, Oakleigh: Cambridge University Press, 2004. Hardbound ￡45.00 (ISBN 0 521 80974 6); paperbound ￡16.99 (0 521 00757 7). [J] . A. F. T. Lurcock Notes and Queries . 2006,第4期

机译：托马斯·凯默（Thomas Keymer）和乔恩·米（Jon Mee）（编），《剑桥英语文学同伴》（1740-1830）。 Pp。 xv + 308（剑桥文学伴侣）。纽约剑桥，奥克利：剑桥大学出版社，2004年。精装本￡ 45.00（ISBN 0 521 80974 6）；纸面装订￡ 16.99（0 521 00757 7）。
4. #x201D;Aggregation Functions#x201D;, Cambridge University Press [C] . Grabisch Michel, Marichal Jean-Luc, Mesiar Radko, International Symposium on Intelligent Systems and Informatics . 2008

机译：“聚集函数”，剑桥大学出版社
5. Book Review: Interpretation of Semen Analysis Results—A Practical Guide. By Rajasingam S. Jeyendran. Cambridge University Press Cambridge 2000 pp. ISBN 0-521-79957-0 (paperback) [O] . Alan Dudkiewicz 2001

机译：书评：精液分析结果的解释-实用指南。 Rajasingam S. Jeyendran。剑桥大学出版社剑桥2000年第ISBN 0-521-79957-0（平装）
6. ML for the working programmer L.C. Paulson, (Cambridge University Press, Cambridge, England, 1991), Price £27.50, $49.50 (hardcover), ISBN 0-521-39022-2 [O] . Steensgaard-Madsen Jørgen 1992

机译：工作程序员L.C.的ML保尔森（Cambridge University Press，Cambridge，England，1991），售价£27.50，$ 49.50（精装），ISBN 0-521-39022-2

Logic and computation—Interactive proof with Cambridge LCF By L.C. Paulson. Cambridge University Press, Cambridge, 1987, Price £27.50, ISBN 0 521 34632 0

著录项

相似文献

相关主题

期刊订阅