Error analysis of digital filters using HOL theorem proving

Journal of Applied Logic 5 (4):651-666 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Infinite lotteries, large and small sets.Luc Lauwers - 2017 - Synthese 194 (6):2203-2209.
Evaluating the Error Risk of Email Filters Based on ROC Curve Analysis.Wenbin Li, Ning Zhong & Chunnian Liu - 2008 - In S. Iwata, Y. Oshawa, S. Tsumoto, N. Zhong, Y. Shi & L. Magnani (eds.), Communications and Discoveries From Multidisciplinary Data. Springer. pp. 299--314.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,026,208)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?