Theorem Proving in Higher Order Logics

QRコード

Theorem Proving in Higher Order Logics

保存先:

書誌詳細
主要な著者:	Hurd, Joe, Melham, Tom
フォーマット:	図書
言語:	English
出版事項:	Springer Berlin Heidelberg 2020
主題:	Computer Science Theory of Computation Computer System Implementation
オンライン･アクセス:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83018
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

類似資料

Theorem Proving in Higher Order Logics
著者:: Mohamed, Otmane Ait, 等
出版事項: (2020)

Theorem Proving in Higher Order Logics
著者:: Schneider, Klaus, 等
出版事項: (2020)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
出版事項: (2001)

Interactive Theorem Proving
著者:: Ayala-Rincón, Mauricio, 等
出版事項: (2020)

Scalable Information Systems
出版事項: (2020)

Achievements in European Research on Grid Systems
著者:: Gorlatch, Sergei, 等
出版事項: (2020)

Applications and Theory of Petri Nets
著者:: Hee, Kees van, 等
出版事項: (2020)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133. 1st ed.
著者:: Garnica, Gustavo
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
出版事項: (2020)

Formal Models of Operating System Kernels
著者:: Craig, Iain D.
出版事項: (2020)

Dynamic Logic. New Trends and Applications
著者:: Barbosa, Luís Soares, 等
出版事項: (2020)

Hybrid Systems: Computation and Control
出版事項: (2020)

Euro-Par 2005 Parallel Processing
著者:: Cunha, José C., 等
出版事項: (2020)

Architecture of Computing Systems - ARCS 2017
著者:: Knoop, Jens, 等
出版事項: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
出版事項: (2020)

Integrated Research in GRID Computing
著者:: Gorlatch, Sergei, 等
出版事項: (2020)

Parallel Computing
著者:: Trobec, Roman, 等
出版事項: (2020)

Evolvable Systems: From Biology to Hardware
著者:: Moreno, J. Manuel, 等
出版事項: (2020)

Scientific Applications of Grid Computing
出版事項: (2020)

Architecture of Computing Systems - ARCS 2007
著者:: Lukowicz, Paul, 等
出版事項: (2020)

Distributed and Parallel Systems
出版事項: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
著者:: Thulasiraman, Parimala, 等
出版事項: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
著者:: Berekovic, Mladen, 等
出版事項: (2020)

Do-All Computing in Distributed Systems
著者:: Georgiou, Chryssis
出版事項: (2020)

Towards Next Generation Grids
著者:: Priol, Thierry, 等
出版事項: (2020)

Coordination Models and Languages
著者:: Lea, Doug, 等
出版事項: (2020)

Component Deployment
著者:: Dearle, Alan, 等
出版事項: (2020)

Implementing Distributed Systems with Java and CORBA
著者:: Aleksy, Markus, 等
出版事項: (2020)

OpenMP in a New Era of Parallelism
著者:: Eigenmann, Rudi, 等
出版事項: (2020)

Parallel Problem Solving from Nature - PPSN X
出版事項: (2020)

Computer Aided Verification
出版事項: (2020)

Computer Aided Verification
著者:: Gupta, Aarti, 等
出版事項: (2020)

Architecting Dependable Systems IV
著者:: Lemos, Rogério de, 等
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Akehurst, David, 等
出版事項: (2020)

Euro-Par 2009 - Parallel Processing
出版事項: (2020)

Model Driven Architecture - Foundations and Applications
著者:: Hartman, Alan, 等
出版事項: (2020)

Model Driven Architecture
著者:: Aßmann, Uwe, 等
出版事項: (2020)

Emerging Technologies for Authorization and Authentication
著者:: Saracino, Andrea, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Choi, Lynn, 等
出版事項: (2020)

Advances in Computer Systems Architecture
著者:: Srikanthan, Thambipillai, 等
出版事項: (2020)