搜索页_Formal+proof

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

常用资源

内部出版物

GSW全文库(4)	Springer电子图书(8)	CNKI学位论文(2716)
馆藏书目(1)	CNKI会议论文(2)	知网期刊论文(888)

在“SpringerLink电子期刊”中，命中：2,757条，耗时：0.0179901 秒

在所有数据库中总计命中：3,619条

1. A new and secure authentication scheme for wireless sensor networks with formal proof

作者： Fan Wu ; Lili Xu ; Saru Kumari ; Xiong Li

关键词：Wireless sensor network ; Off ; line guessing attack ; Formal proof ; Smart card

刊名：Peer-to-Peer Networking and Applications

出版年：2017

2. A Synthetic Proof of Pappus’ Theorem in Tarski’s Geometry

作者： Gabriel Braun ; Julien Narboux

关键词：Formalization ; Formal proof ; Geometry ; Coq ; Pappus ; Tarski’s axioms

刊名：Journal of Automated Reasoning

出版年：2017

3. A privacy-preserving and provable user authentication scheme for wireless sensor networks based on Internet of Things security

作者： Fan Wu ; Lili Xu ; Saru Kumari ; Xiong Li

关键词：Internet of Things ; Wireless sensor network ; Mutual authentication ; Formal proof ; Smart card

刊名：Journal of Ambient Intelligence and Humanized Computing

出版年：2017

4. Surveyability and Mathematical Certainty

作者： Kai Michael Büttner

关键词：Certainty ; Experiment ; Formalism ; Paradigm ; Proof ; Surveyability ; Wittgenstein

刊名：Axiomathes

出版年：2017

5. Finding Proofs in Tarskian Geometry

作者： Michael Beeson ; Larry Wos

关键词：Automated deduction ; Tarski ; Geometry ; Theorem proving

刊名：Journal of Automated Reasoning

出版年：2017

6. Mathematical Formalism of Nonequilibrium Thermodynamics for Nonlinear Chemical Reaction Systems with General Rate Law

作者： Hao Ge ; Hong Qian

关键词：Chemical reaction models ; Large deviation principle ; Stochastic thermodynamics

刊名：Journal of Statistical Physics

出版年：2017

7. Maximally permissive controlled system synthesis for non-determinism and modal logic

作者： A. C. van Hulst ; M. A. Reniers ; W. J. Fokkink

关键词：Controlled system synthesis ; Modal logic ; Non ; determinism ; Maximal permissiveness ; Controllability ; Partial bisimulation

刊名：Discrete Event Dynamic Systems

出版年：2017

8. Semantics and Proof Theory of the Epsilon Calculus

刊名：Lecture Notes in Computer Science

出版年：2017

9. On Gödel Algebras of Concepts

关键词：Intended semantics ; Concept lattice ; Many ; valued logic ; FCA ; Formal concept analysis ; Fuzzy logic ; Gödel Logic

刊名：Lecture Notes in Computer Science

出版年：2017

10. Interpretations of QM with Applications for Formal Epistemology

刊名：Lecture Notes in Computer Science

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(2757)

题名(94)

关键词(119)

文摘(2381)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.