Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Formal Validation of DNA Datab...
Cite this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Formal Validation of DNA Database Using Theorem Proving Technique
Bibliographic Details
Format:
Restricted Document
Holdings
Description
Similar Items
Staff View
Similar Items
Formal Validation of DNA Database Using Theorem Proving Technique
Aspects of the theory of containers within automated theorem proving
by: Prince, Rawle C.S.
Published: (2011)
Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)
Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)
Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008)