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
Διαθέσιμο Online:	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)