Theorem Proving in Higher Order Logics

QR Code

Theorem Proving in Higher Order Logics

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hurd, Joe, Melham, Tom
Format:	Livre
Langue:	English
Publié:	Springer Berlin Heidelberg 2020
Sujets:	Computer Science Theory of Computation Computer System Implementation
Accès en ligne:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83018
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

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

Documents similaires

Theorem Proving in Higher Order Logics
par: Mohamed, Otmane Ait, et autres
Publié: (2020)

Theorem Proving in Higher Order Logics
par: Schneider, Klaus, et autres
Publié: (2020)

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

Interactive Theorem Proving
par: Ayala-Rincón, Mauricio, et autres
Publié: (2020)

Scalable Information Systems
Publié: (2020)

Achievements in European Research on Grid Systems
par: Gorlatch, Sergei, et autres
Publié: (2020)

Applications and Theory of Petri Nets
par: Hee, Kees van, et autres
Publié: (2020)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133. 1st ed.
par: Garnica, Gustavo
Publié: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Publié: (2020)

Formal Models of Operating System Kernels
par: Craig, Iain D.
Publié: (2020)

Dynamic Logic. New Trends and Applications
par: Barbosa, Luís Soares, et autres
Publié: (2020)

Hybrid Systems: Computation and Control
Publié: (2020)

Euro-Par 2005 Parallel Processing
par: Cunha, José C., et autres
Publié: (2020)

Architecture of Computing Systems - ARCS 2017
par: Knoop, Jens, et autres
Publié: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Publié: (2020)

Integrated Research in GRID Computing
par: Gorlatch, Sergei, et autres
Publié: (2020)

Parallel Computing
par: Trobec, Roman, et autres
Publié: (2020)

Evolvable Systems: From Biology to Hardware
par: Moreno, J. Manuel, et autres
Publié: (2020)

Scientific Applications of Grid Computing
Publié: (2020)

Architecture of Computing Systems - ARCS 2007
par: Lukowicz, Paul, et autres
Publié: (2020)

Distributed and Parallel Systems
Publié: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
par: Thulasiraman, Parimala, et autres
Publié: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
par: Berekovic, Mladen, et autres
Publié: (2020)

Do-All Computing in Distributed Systems
par: Georgiou, Chryssis
Publié: (2020)

Towards Next Generation Grids
par: Priol, Thierry, et autres
Publié: (2020)

Coordination Models and Languages
par: Lea, Doug, et autres
Publié: (2020)

Component Deployment
par: Dearle, Alan, et autres
Publié: (2020)

Implementing Distributed Systems with Java and CORBA
par: Aleksy, Markus, et autres
Publié: (2020)

OpenMP in a New Era of Parallelism
par: Eigenmann, Rudi, et autres
Publié: (2020)

Parallel Problem Solving from Nature - PPSN X
Publié: (2020)

Computer Aided Verification
Publié: (2020)

Computer Aided Verification
par: Gupta, Aarti, et autres
Publié: (2020)

Architecting Dependable Systems IV
par: Lemos, Rogério de, et autres
Publié: (2020)

Model Driven Architecture - Foundations and Applications
par: Akehurst, David, et autres
Publié: (2020)

Euro-Par 2009 - Parallel Processing
Publié: (2020)

Model Driven Architecture - Foundations and Applications
par: Hartman, Alan, et autres
Publié: (2020)

Model Driven Architecture
par: Aßmann, Uwe, et autres
Publié: (2020)

Emerging Technologies for Authorization and Authentication
par: Saracino, Andrea, et autres
Publié: (2020)

Advances in Computer Systems Architecture
par: Choi, Lynn, et autres
Publié: (2020)

Advances in Computer Systems Architecture
par: Srikanthan, Thambipillai, et autres
Publié: (2020)