Skip to Main Content
Log In or Out
Skip to Search

springer.com springerprotocols.com Choose preferred language

SpringerLink

You have Guest access.

What can I do as a guest?

Search

Basic Search Search For All Content

Author or Editor Publication Volume Issue Page

Advanced Search

Content

Search For

Full Text Title & Abstract Title Only

DOI

Author

Editor

Citation

Publication (Title, DOI, ISSN, ISBN)

Volume

Issue

Page

Category and Date Limiters

Content Category

Entire Range of Publication Dates

Select date range Publication Dates Between Start DateANDEnd Date

Order of Results Most Relevant First Most Recently Published First Alphabetical

Share this item
- email
- citeulike
- Connotea
- Delicious
citeulike

Mathematics and Statistics

Cybernetics and Systems Analysis

Volume 3, Number 2, 76-77, DOI: 10.1007/BF01078757

Brief Communication

The logical synthesis of a ternary adder

View Related Documents

Book Chapter
Lower Bounds for the Complexity of Learning Half-Spaces with Membership Queries
Valery N. Shevchenko and Nikolai Yu. Zolotykh
Lecture Notes in Computer Science, 1998, Volume 1501, Algorithmic Learning Theory, Pages 61-71
- Download PDF (154.4 KB)
Journal Article
A criterion for positive completeness in ternary logic
S. S. Marchenkov
Journal of Applied and Industrial Mathematics, 2007, Volume 1, Number 4, Pages 481-488
- Download PDF (560.8 KB)
Journal Article
Discriminator positively complete classes of ternary logic
S. S. Marchenkov
Journal of Applied and Industrial Mathematics, 2008, Volume 2, Number 4, Pages 542-549
- Download PDF (576.5 KB)
Journal Article
On the structure of equationally closed classes
S. S. Marchenkov
Discrete Mathematics and Applications, 2006, Volume 16, Number 6, Pages 563-576
- Download PDF (167.0 KB)
Journal Article
Equational closure
S. S. Marchenkov
Discrete Mathematics and Applications, 2005, Volume 15, Number 3, Pages 289-298
- Download PDF (154.3 KB)
Journal Article
Logical synthesis of moltivalued symmetric function based on binary full adders
Chen Xiexiong and Shen Jizhong
Journal of Electronics (China), 1996, Volume 13, Number 4, Pages 360-365
- Download PDF (250.1 KB)
Journal Article
Online First™
Synthesis of AMBA AHB from formal specification: a case study
Yashdeep Godhal, Krishnendu Chatterjee and Thomas A. Henzinger
International Journal on Software Tools for Technology Transfer (STTT), Online First™, 10 July 2011
- Download PDF (665.2 KB)
Reference Work Entry
Checklist Paradigm Semantics for Fuzzy Logics
Ladislav Kohout
2001, Encyclopedia of Optimization, Pages 237-246
- View HTML
Reference Work Entry
Boolean and Fuzzy Relations
Ladislav Kohout
2001, Encyclopedia of Optimization, Pages 189-202
- View HTML
Reference Work Entry
Alternative set theory; Boolean and fuzzy relations; Checklist paradigm semantics for fuzzy logics; Inference of monotone Boolean functions; Optimization in Boolean classification problems; Optimization in classifying text documentsAlternative set theory; Boolean and fuzzy relations; Checklist paradigm semantics for fuzzy logics; Inference of monotone Boolean functions; Optimization in Boolean classification problems; Optimization in classifying text documentsFINITE COMPLETE SYSTEMS OF MANY-VALUED LOGIC ALGEBRAS
Ladislav Kohout
2001, Encyclopedia of Optimization, Pages 678-685
- View HTML

Advertisment

Abstract

Kibernetika, Vol. 3, No. 2, p. 102, 1967

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info