首页> 外文OA文献 >From logic design to logic programming: Theorem proving techniques and P-functions By D. Snyers and A. Thayse. Lecture Notes in Computer Science 271, Springer, Berlin, 1987, 125 pages

【2h】

From logic design to logic programming: Theorem proving techniques and P-functions By D. Snyers and A. Thayse. Lecture Notes in Computer Science 271, Springer, Berlin, 1987, 125 pages

机译：从逻辑设计到逻辑编程：定理证明技术和P函数D. Snyers和A. Thayse。计算机科学讲座笔记271，施普林格，柏林，1987年，125页

代理获取

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

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Deville Yves;
展开▼
作者单位

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

相似文献

外文文献

1. Spin Model Checking and Software Verification: Proceedings of the 7th International SPIN Workshop, Stanford, CA, U.S.A., August 30-September 1, 2000. By Klaus Havelund, John Penix and Willem Visser (eds.). Lecture Notes in Computer Science, Volume 1885, Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 3-540-41030-9, 343 pages. Price: U.K. ?31.00, U.S.A. $62.00, Germany DM 90.00, Soft Cover. [J] . Rob Hierons Reviews Editor for STVR Software Testing, Verification and Reliability . 2001,第3期

机译：旋转模型检查和软件验证：2000年8月30日至9月1日，在美国加利福尼亚州斯坦福市举行的第七届国际SPIN研讨会论文集，作者：克劳斯·哈夫伦（Klaus Havelund），约翰·佩尼克斯（John Penix）和威廉·维瑟（Willem Visser）（编辑）。《计算机科学讲义》，第1885卷，由施普林格出版社出版，德国柏林，2000年。ISBN：3-540-41030-9，343页。价格：31.00英镑，62.00美元，德国90.00马克，软封面。
2. VDM '87: VDM-a formal method at work By D. Bjorner, C. B. Jones, M. Mac an Airchinnigh and E. J. Neuhold, editors. Lecture Notes in Computer Science 252, Springer, Berlin, 1987, 422 pages, Price DM55, ISBN 3-540-17654-3, ISBN 0-387-17654-3 [O] . Hayes Ian.J. 1988

机译：VDM '87：VDM-一种工作中的正式方法由D. Bjorner，C。B. Jones，M。Mac an Airchinnigh和E. J. Neuhold编辑。计算机科学讲座笔记252，施普林格，柏林，1987年，422页，价格DM55，ISBN 3-540-17654-3，ISBN 0-387-17654-3
3. Lecture Notes in Computer Science 960. Logic and Computational Complexity.International Workshop Held in Indianapolis, Indiana on October 1994. Selected Papers [R] . Leivant, D., Goos, G., Hermanis, J., 1994

机译：计算机科学讲义960.逻辑与计算复杂性。国际研讨会于1994年10月在印第安纳州印第安纳波利斯举行。精选论文

From logic design to logic programming: Theorem proving techniques and P-functions By D. Snyers and A. Thayse. Lecture Notes in Computer Science 271, Springer, Berlin, 1987, 125 pages

著录项

引文网络

相似文献

相关主题

期刊订阅