Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Boolean logic")

Filter

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 1191

  • Page / 48
Export

Selection :

  • and

Boolean Satisfiability From Theoretical Hardness to Practical SuccessMALIK, Sharad; LINTAO ZHANG.Communications of the ACM. 2009, Vol 52, Num 8, pp 76-82, issn 0001-0782, 7 p.Article

Teaching mathematics for search using a tutorial style of deliveryMACFARLANE, Andrew.Information retrieval (Boston). 2009, Vol 12, Num 2, pp 162-178, issn 1386-4564, 17 p.Article

Foundations of fuzzy sets : a nonstandard approachDROSSOS, C. A.Fuzzy sets and systems. 1990, Vol 37, Num 3, pp 287-307, issn 0165-0114, 21 p.Article

Soft evaluation of Boolean search queries in information retrieval systemsPAICE, C. D.Information technology: research and development. 1984, Vol 3, Num 1, pp 33-41Article

Generalized boolean methods of information retrievalRADECKI, T.International journal of man-machine studies. 1983, Vol 18, Num 5, pp 407-439, issn 0020-7373Article

Optimal binary symmetric logic functions and their applicationsYAO LI; HA, B; EICHMANN, G et al.Optical engineering (Bellingham. Print). 1989, Vol 28, Num 4, pp 380-389, issn 0091-3286, 10 p.Article

End user boolean searching on viewdata using numeric keypadsPOLLITT, S.International online information meeting. 9. sd, pp 373-379Conference Paper

Glushkov construction for multiplicitiesCARON, Pascal; FLOURET, Marianne.Lecture notes in computer science. 2001, pp 67-79, issn 0302-9743, isbn 3-540-42491-1Conference Paper

Exercises in quantifier manipulationBACKHOUSE, Roland; MICHAELIS, Diethard.Lecture notes in computer science. 2006, pp 69-81, issn 0302-9743, isbn 3-540-35631-2, 1Vol, 13 p.Conference Paper

Separating distribution-free and mistake-bound learning models over the Boolean domainBLUM, A. L.SIAM journal on computing (Print). 1994, Vol 23, Num 5, pp 990-1000, issn 0097-5397Article

Synthèse et optimisation temporelle de réseaux Booléens = Synthesis and timing optimization of Boolean networksSakouti, Khalid; Crastes De Paulet, André.1993, 155 p.Thesis

EMBEDDING THEOREMS FOR BOOLEAN ALGEBRAS AND CONSISTENCY RESULTS ON ORDINAL DEFINABLE SETS.STEPANEK P; BALCAR B.1977; J. SYMBOL. LOGIC; U.S.A.; DA. 1977; VOL. 42; NO 1; PP. 64-76; BIBL. 14 REF.Article

A REASSESSMENT OF GEORGE BOOLE'S THEORY OF LOGIC.VAN EVRA JW.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 363-377; BIBL. 1 P.Article

AN ADDITIONAL REMARK ON SELF-CONJUGATE FUNCTIONS ON BOOLEAN ALGEBRASSUDKAMP TA.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 637-638; BIBL. 1 REF.Article

A COMPLETE CLASSIFICATION OF THREE-PLACE FUNCTORS IN TWO-VALUED LOGIC.MUZIO JC.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 3; PP. 429-437; BIBL. 6 REF.Article

Functionality of multilayer boolean neural networksAL-ALAWI, R; STONHAM, T. J.Electronics Letters. 1989, Vol 25, Num 10, pp 657-659, issn 0013-5194, 3 p.Article

De Boolese benadering bij geautomatiseerde gegevensopzœkingen: vooronderstellingen en kritiek = L'approche booléenne dans les recherches documentaires automatiques: hypothèses et critiquesROUSSEAU, R.Bibliotheek- en archiefgids - Vlaamse vereniging voor bibliotheek-, archief-, en documentatiewezen. 1986, Vol 62, Num 1, pp 67-73, issn 0772-7003Article

Looking algebraically at tractable quantified boolean formulasHUBIE CHEN; DALMAU, Victor.Lecture notes in computer science. 2005, pp 71-79, issn 0302-9743, isbn 3-540-27829-X, 9 p.Conference Paper

New cryptographic primitives based on multiword T-functionsKLIMOV, Alexander; SHAMIR, Adi.Lecture notes in computer science. 2004, pp 1-15, issn 0302-9743, isbn 3-540-22171-9, 15 p.Conference Paper

Lemma and model caching in decision procedures for quantified Boolean formulasLETZ, Reinhold.Lecture notes in computer science. 2002, pp 160-175, issn 0302-9743, isbn 3-540-43929-3, 16 p.Conference Paper

QuBE : A system for deciding quantified boolean formulas satisfiabilityGIUNCHIGLIA, Enrico; NARIZZANO, Massimo; TACCHELLA, Armando et al.Lecture notes in computer science. 2001, pp 364-369, issn 0302-9743, isbn 3-540-42254-4Conference Paper

Use of electron trapping materials in optical signal processing. I, Parallel Boolean logicJUTAMULIA, S; STORTI, G. M; LINDMAYER, J et al.Applied optics. 1990, Vol 29, Num 32, pp 4806-4811, issn 0003-6935Article

An extension of logic functions on the quaternary Boolean ringNAKAO, Z.Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. 1986, Vol 69, Num 11, pp 1169-1172, issn 0387-236XArticle

Association reducts : Boolean representationSLEZAK, Dominik.Lecture notes in computer science. 2006, pp 305-312, issn 0302-9743, isbn 3-540-36297-5, 1Vol, 8 p.Conference Paper

Efficient recovery of secretsFEMANDEZ, Marcel; SORIANO, Miguel.International conference on information technology. 2004, isbn 0-7695-2108-8, 2Vol, vol2, 763-767Conference Paper

  • Page / 48