Koha online

HTML5 Icon
Normal view MARC view

Automatic theorem proving- Computer programs (Topical Term)

Number of records used in: 2
Preferred form: Automatic theorem proving- Computer programs

Machine generated authority record.

Work cat.: (OSt)1927: Chlipala, Adam 3641, Certified programming with dependent types:a pragmatic introduction to the Coq proof assistant, 2013

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.