𝔖 Bobbio Scriptorium

✦ LIBER ✦

Modelling discrete optimisation problems inconstraint logic programming

✍ Scribed by Peter Barth; Alexander Bockmayr

Book ID: 110380463
Publisher: Springer US
Year: 1998
Tongue: English
Weight: 215 KB
Volume: 81
Category: Article
ISSN: 0254-5330
DOI: 10.1023/a:1018981813157

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Symbolic-numerical methods in discrete p

Symbolic-numerical methods in discrete programming problems with logical constraints

✍ G. I. Ankudinov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 604 KB

A new approach to stochastic programming

A new approach to stochastic programming problems: Discrete model

✍ Rajani R. Joshi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 771 KB

Connection with logical-term equivalence

Connection with logical-term equivalence of program schemes with one class of special problems of functional equivalence of discrete transformers

✍ A. B. Godlevskii 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 223 KB

Parametric Duality Models for Semi-infin

Parametric Duality Models for Semi-infinite Discrete Minmax Fractional Programming Problems Involving Generalized (η,ρ)-Invex Functions

✍ G. J. Zalmai; Qing-hong Zhang 📂 Article 📅 2007 🏛 Institute of Applied Mathematics, Chinese Academy 🌐 English ⚖ 274 KB

Parametric duality models for discrete m

Parametric duality models for discrete minmax fractional programming problems containing generalized (θ,η,ρ)-V- invex functions and arbitrary norms

✍ G. J. Zalmai 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 272 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB