搜索页_+symbol+calculus

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

常用资源

内部出版物

馆藏书目(2)

CNKI学位论文(853)

知网期刊论文(245)

在“SpringerLink电子期刊”中，命中：319条，耗时：小于0.01 秒

在所有数据库中总计命中：1,100条

1. Non-classical Elegance for Sequent Calculus Enthusiasts

作者： Andreas Fjellstad

关键词：Non ; classical logics ; Non ; transitive logic ; Non ; reflexive logic ; Sequent calculus ; Logics of truth

刊名：Studia Logica

出版年：2017

2. Symbolic Semantics for Multiparty Interactions in the Link-Calculus

刊名：Lecture Notes in Computer Science

出版年：2017

3. Asymmetry in student achievement on multiple-choice and constructed-response items in reversible mathematics processes

作者： Christopher J. Sangwin ; Ian Jones

关键词：Assessment ; Algebra ; Calculus ; Symbolic manipulation

刊名：Educational Studies in Mathematics

出版年：2017

4. Computational Soundness Results for Stateful Applied \(\pi \) Calculus

关键词：Computational soundness ; Applied \(\pi \) ; calculus ; Stateful protocols

刊名：Lecture Notes in Computer Science

出版年：2016

5. Communicational approach to study textbook discourse on the derivative

作者： Jungeun Park

关键词：Calculus ; Function ; Derivative ; Textbooks ; Communicational approach

刊名：Educational Studies in Mathematics

出版年：2016

6. Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

作者： Stijn de Gouw ; Frank de Boer ; Wolfgang Ahrendt…

关键词：Specification ; Verification ; Program logic ; Dynamic logic ; Object creation

刊名：Software and Systems Modeling

出版年：2016

7. A Superposition Calculus for Abductive Reasoning

作者： M. Echenim ; N. Peltier

刊名：Journal of Automated Reasoning

出版年：2016

8. A calculus of Fourier integral operators with inhomogeneous phase functions on R d

作者： Sandro Coriasco ; Joachim Toft

刊名：Indian Journal of Pure and Applied Mathematics

出版年：2016

9. On the Singularity Structure of WKB Solution of the Boosted Whittaker Equation: its Relevance to Resurgent Functions with Essential Singularities

作者： Shingo Kamimoto ; Takahiro Kawai ; Tatsuya Koike

关键词：exact WKB analysis ; resurgent functions ; linear differential operators of infinite order ; Voros coefficients ; alien calculus

刊名：Letters in Mathematical Physics

出版年：2016

10. Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification

刊名：Lecture Notes in Computer Science

出版年：2016

1

2

3

4

5

6

7

8

9

按检索点细分(319)

题名(32)

关键词(35)

文摘(235)

按出版年细分(319)

2017年(3)

2016年(17)

2015年(23)

2014年(27)

2013年(23)

2012年(11)

2011年(5)

2010年(5)

2009年(27)

2008年(13)

2007年(35)

2006年(21)

2005年(23)

2004年(17)

2003年(13)

2002年(17)

2001年(7)

2000年(9)

2000年及以前(23)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700