✦ LIBER ✦

A General Setting for Flexibly Combining and Augmenting Decision Procedures

✍ Scribed by Predrag Janičić; Alan Bundy

Book ID: 110340492
Publisher: Springer Netherlands
Year: 2002
Tongue: English
Weight: 296 KB
Volume: 28
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1015707001763

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Decision Procedure for a Sublanguage o

A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions

✍ Domenico Cantone; Jacob T. Schwartz; Calogero G. Zarba 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 779 KB

Incorporating a Multi-Criteria Decision

Incorporating a Multi-Criteria Decision Procedure into the Combined Dynamic Programming/Production Simulation Algorithm for Generation Expansion Planning

✍ Yang, H. T.; Chen, S. L. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 258 KB

Combined column generation and construct

Combined column generation and constructive heuristic for a proportionate flexible flow shop scheduling

✍ Yueh-Min Huang; Der-Fang Shiau 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 283 KB

Comment on ‘ Tolerance analysis using fu

Comment on ‘ Tolerance analysis using fuzzy sets ’ and ‘ A procedure for multiple aspect decision making ’

✍ DUBOIS, DIDIER; PRADE, HENRI 📂 Article 📅 1978 🏛 Taylor and Francis Group 🌐 English ⚖ 170 KB

A novel and selective procedure for gene

A novel and selective procedure for generating iminium cation by photosensitized (set) oxidative reaction

✍ G. Pandey; G. Kumaraswamy 📂 Article 📅 1988 🏛 Elsevier Science 🌐 French ⚖ 190 KB

Aksback A novd method of generatingiminium catin by photceek&ed single electron transfer processes and its intramcilecuJar cy&ation by Oxygen and Carbon nucleophiles isreported.

Generalized multi-resolution analyses an

Generalized multi-resolution analyses and a construction procedure for all wavelet sets in ℝn

✍ Lawrence W. Baggett; Herbert A. Medina; Kathy D. Merrill 📂 Article 📅 1999 🏛 SP Birkhäuser Verlag Boston 🌐 English ⚖ 721 KB