Theorem Proving in Higher Order Logics

QR Kod

Theorem Proving in Higher Order Logics

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Hurd, Joe, Melham, Tom
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	Springer Berlin Heidelberg 2020
Konular:	Computer Science Theory of Computation Computer System Implementation
Online Erişim:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/83018
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

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

Benzer Materyaller

Theorem Proving in Higher Order Logics
Yazar:: Mohamed, Otmane Ait, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theorem Proving in Higher Order Logics
Yazar:: Schneider, Klaus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Baskı/Yayın Bilgisi: (2001)

Interactive Theorem Proving
Yazar:: Ayala-Rincón, Mauricio, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Scalable Information Systems
Baskı/Yayın Bilgisi: (2020)

Achievements in European Research on Grid Systems
Yazar:: Gorlatch, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Applications and Theory of Petri Nets
Yazar:: Hee, Kees van, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Oracle WebLogic Server 12c Administration I Exam 1Z0-133. 1st ed.
Yazar:: Garnica, Gustavo
Baskı/Yayın Bilgisi: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Baskı/Yayın Bilgisi: (2020)

Formal Models of Operating System Kernels
Yazar:: Craig, Iain D.
Baskı/Yayın Bilgisi: (2020)

Dynamic Logic. New Trends and Applications
Yazar:: Barbosa, Luís Soares, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Hybrid Systems: Computation and Control
Baskı/Yayın Bilgisi: (2020)

Euro-Par 2005 Parallel Processing
Yazar:: Cunha, José C., ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecture of Computing Systems - ARCS 2017
Yazar:: Knoop, Jens, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Systems Aspects in Organic and Pervasive Computing - ARCS 2005
Baskı/Yayın Bilgisi: (2020)

Integrated Research in GRID Computing
Yazar:: Gorlatch, Sergei, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Parallel Computing
Yazar:: Trobec, Roman, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Evolvable Systems: From Biology to Hardware
Yazar:: Moreno, J. Manuel, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Scientific Applications of Grid Computing
Baskı/Yayın Bilgisi: (2020)

Architecture of Computing Systems - ARCS 2007
Yazar:: Lukowicz, Paul, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Distributed and Parallel Systems
Baskı/Yayın Bilgisi: (2020)

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
Yazar:: Thulasiraman, Parimala, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Embedded Computer Systems: Architectures, Modeling, and Simulation
Yazar:: Berekovic, Mladen, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Do-All Computing in Distributed Systems
Yazar:: Georgiou, Chryssis
Baskı/Yayın Bilgisi: (2020)

Towards Next Generation Grids
Yazar:: Priol, Thierry, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Coordination Models and Languages
Yazar:: Lea, Doug, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Component Deployment
Yazar:: Dearle, Alan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Implementing Distributed Systems with Java and CORBA
Yazar:: Aleksy, Markus, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

OpenMP in a New Era of Parallelism
Yazar:: Eigenmann, Rudi, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Parallel Problem Solving from Nature - PPSN X
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Baskı/Yayın Bilgisi: (2020)

Computer Aided Verification
Yazar:: Gupta, Aarti, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Architecting Dependable Systems IV
Yazar:: Lemos, Rogério de, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Driven Architecture - Foundations and Applications
Yazar:: Akehurst, David, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Euro-Par 2009 - Parallel Processing
Baskı/Yayın Bilgisi: (2020)

Model Driven Architecture - Foundations and Applications
Yazar:: Hartman, Alan, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Model Driven Architecture
Yazar:: Aßmann, Uwe, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Emerging Technologies for Authorization and Authentication
Yazar:: Saracino, Andrea, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Systems Architecture
Yazar:: Choi, Lynn, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Advances in Computer Systems Architecture
Yazar:: Srikanthan, Thambipillai, ve diğerleri
Baskı/Yayın Bilgisi: (2020)