MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Studies of the Single Pulser in Various Reasoning Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Studies of the Single Pulser in Various Reasoning Systems
by Steven Johnson Paul, Paul S. Miner, Albert Camilleri — 1994 — Proc. 2nd International Conference on Theorem Provers in Circuit Design (TPCD94), volume 901 of Lecture Notes in Computer Science
…Studies of the Single Pulser in Various Reasoning Systems Steven D. Johnson, 1 Paul S. Miner, 2…
Add To MetaCart

[48] Steven D. Johnson. Digital Design in a Functional Calculus. In Milne and Subramanyam, editors,
by Formal Aspects Of, Vlsi Design, Steven D. Johnson Circuits, Systems Implementing Communication
… Page. A collection of sources and data for various studies in [24]. ftp://ftp.cs.indiana.edu/pub/SinglePulserStudy…
Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB