Theorem Proving in Higher Order Logics

क्यूआर कोड

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)