Theorem Proving in Higher Order Logics

QR kód

Theorem Proving in Higher Order Logics

Uloženo v:

Podrobná bibliografie
Hlavní autoři:	Hurd, Joe, Melham, Tom
Médium:	Kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg 2020
Témata:	Computer Science Theory of Computation Computer System Implementation
On-line přístup:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83018
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

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

Podobné jednotky

Theorem Proving in Higher Order Logics
Autor: Mohamed, Otmane Ait, a další
Vydáno: (2020)

Theorem Proving in Higher Order Logics
Autor: Schneider, Klaus, a další
Vydáno: (2020)

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

Interactive Theorem Proving
Autor: Ayala-Rincón, Mauricio, a další
Vydáno: (2020)

Scalable Information Systems
Vydáno: (2020)

Achievements in European Research on Grid Systems
Autor: Gorlatch, Sergei, a další
Vydáno: (2020)

Applications and Theory of Petri Nets
Autor: Hee, Kees van, a další
Vydáno: (2020)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133. 1st ed.
Autor: Garnica, Gustavo
Vydáno: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Vydáno: (2020)

Formal Models of Operating System Kernels
Autor: Craig, Iain D.
Vydáno: (2020)

Dynamic Logic. New Trends and Applications
Autor: Barbosa, Luís Soares, a další
Vydáno: (2020)

Hybrid Systems: Computation and Control
Vydáno: (2020)

Euro-Par 2005 Parallel Processing
Autor: Cunha, José C., a další
Vydáno: (2020)

Architecture of Computing Systems - ARCS 2017
Autor: Knoop, Jens, a další
Vydáno: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Vydáno: (2020)

Integrated Research in GRID Computing
Autor: Gorlatch, Sergei, a další
Vydáno: (2020)

Parallel Computing
Autor: Trobec, Roman, a další
Vydáno: (2020)

Evolvable Systems: From Biology to Hardware
Autor: Moreno, J. Manuel, a další
Vydáno: (2020)

Scientific Applications of Grid Computing
Vydáno: (2020)

Architecture of Computing Systems - ARCS 2007
Autor: Lukowicz, Paul, a další
Vydáno: (2020)

Distributed and Parallel Systems
Vydáno: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
Autor: Thulasiraman, Parimala, a další
Vydáno: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Autor: Berekovic, Mladen, a další
Vydáno: (2020)

Do-All Computing in Distributed Systems
Autor: Georgiou, Chryssis
Vydáno: (2020)

Towards Next Generation Grids
Autor: Priol, Thierry, a další
Vydáno: (2020)

Coordination Models and Languages
Autor: Lea, Doug, a další
Vydáno: (2020)

Component Deployment
Autor: Dearle, Alan, a další
Vydáno: (2020)

Implementing Distributed Systems with Java and CORBA
Autor: Aleksy, Markus, a další
Vydáno: (2020)

OpenMP in a New Era of Parallelism
Autor: Eigenmann, Rudi, a další
Vydáno: (2020)

Parallel Problem Solving from Nature - PPSN X
Vydáno: (2020)

Computer Aided Verification
Vydáno: (2020)

Computer Aided Verification
Autor: Gupta, Aarti, a další
Vydáno: (2020)

Architecting Dependable Systems IV
Autor: Lemos, Rogério de, a další
Vydáno: (2020)

Model Driven Architecture - Foundations and Applications
Autor: Akehurst, David, a další
Vydáno: (2020)

Euro-Par 2009 - Parallel Processing
Vydáno: (2020)

Model Driven Architecture - Foundations and Applications
Autor: Hartman, Alan, a další
Vydáno: (2020)

Model Driven Architecture
Autor: Aßmann, Uwe, a další
Vydáno: (2020)

Emerging Technologies for Authorization and Authentication
Autor: Saracino, Andrea, a další
Vydáno: (2020)

Advances in Computer Systems Architecture
Autor: Choi, Lynn, a další
Vydáno: (2020)

Advances in Computer Systems Architecture
Autor: Srikanthan, Thambipillai, a další
Vydáno: (2020)