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
Export Ready —
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)