设为首页收藏本站
开启辅助访问 切换到窄版

 找回密码
 To register

QQ登录

只需一步，快速开始

扫一扫，访问微社区

  • ALL
  • Journals
  • Books

派博传思国际中心 »期刊书目

› BOOKS
› BOOKS with Alphabet I (Ia, Ib,Ic, Id, Ie…... )

1234下一页
返回列表

Titlebook: Isabelle; A Generic Theorem Pr Lawrence C. Paulson Book 19941st edition Springer-Verlag Berlin Heidelberg 1994 Höherstufige Logik.Isabelle.

[复制链接]
查看: 7405|回复: 35
发表于 2025-3-21 17:33:26 | 显示全部楼层 |阅读模式
书目名称Isabelle
副标题A Generic Theorem Pr
编辑Lawrence C. Paulson
视频video
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Isabelle; A Generic Theorem Pr Lawrence C. Paulson Book 19941st edition Springer-Verlag Berlin Heidelberg 1994 Höherstufige Logik.Isabelle.
描述As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle‘s representation of logics within a meta-logic and the use of higher-order unification to combine inference rules. Isabelle can be applied to reasoning in pure mathematics or verification of computer systems. This volume constitutes the Isabelle documentation. It begins by outlining theoretical aspects and then demonstrates the use in practice. Virtually all Isabelle functions are described, with advice on correct usage and numerous examples. Isabelle‘s built-in logics are also described in detail. There is a comprehensive bebliography and index. The book addresses prospective users of Isabelle as well as researchers in logic and automated reasoning.
出版日期Book 19941st edition
关键词Höherstufige Logik; Isabelle; Schließen; Syntax; automated reasoning; automatische Verifikation; computer;
版次1
doihttps://doi.org/10.1007/BFb0030541
isbn_softcover978-3-540-58244-1
isbn_ebook978-3-540-48586-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer-Verlag Berlin Heidelberg 1994
The information of publication is updating

书目名称Isabelle影响因子(影响力)




书目名称Isabelle影响因子(影响力)学科排名




书目名称Isabelle网络公开度




书目名称Isabelle网络公开度学科排名




书目名称Isabelle被引频次




书目名称Isabelle被引频次学科排名




书目名称Isabelle年度引用




书目名称Isabelle年度引用学科排名




书目名称Isabelle读者反馈




书目名称Isabelle读者反馈学科排名




单选投票, 共有 0 人参与投票
1.jpg
 

0票 0%

Perfect with Aesthetics
2.jpg
 

0票 0%

Better Implies Difficulty
3.jpg
 

0票 0%

Good and Satisfactory
4.jpg
 

0票 0%

Adverse Performance
5.jpg
 

0票 0%

Disdainful Garbage
您所在的用户组没有投票权限
Ensign
回复

举报

发表于 2025-3-21 23:33:17 | 显示全部楼层
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/475518.jpg
AMPLE
回复

举报

发表于 2025-3-22 01:30:38 | 显示全部楼层
Chipmunk
回复

举报

发表于 2025-3-22 05:54:25 | 显示全部楼层
Isabelle978-3-540-48586-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
博爱家
回复

举报

发表于 2025-3-22 11:36:35 | 显示全部楼层
ew describes how Weddepohl became fascinated by general equilibrium theory in the early stages of his career, how he has been working on the theory of markets throughout his career, and how he 978-3-642-62820-7978-3-642-56131-3
抚育
回复

举报

发表于 2025-3-22 16:38:21 | 显示全部楼层
推延
回复

举报

发表于 2025-3-22 20:19:32 | 显示全部楼层
NAV
回复

举报

发表于 2025-3-22 21:22:41 | 显示全部楼层
coagulate
回复

举报

发表于 2025-3-23 02:23:24 | 显示全部楼层
also depends on factors other than state variables, such as grain size, dislocation density, and especially time (rate of heating, duration of annealing, rate of cooling). Extrapolation of kinetic data obtained at high temperatures on laboratory time scales to more realistic lower tempera­ tures and geologica978-3-642-76147-8978-3-642-76145-4
boisterous
回复

举报

发表于 2025-3-23 07:56:52 | 显示全部楼层
CAND
回复

举报

下一页 »
1234下一页
返回列表
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 SITEMAP 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-5-19 22:55
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表