Optimization and Computational Logic

Optimization and Computational Logic

Bibliographic Details
Main Authors:	McAloon, Ken (Author), Tretkoff, Carol (Author)
Format:	Book
Language:	English
Published:	New York John Wiley & Sons c1996
Series:	Wiley-Interscience Series in Discrete Mathematics and Optimization
Subjects:	COMPUTER SCIENCE Γραμμικός προγραμματισμός MATHEMATICAL OPTIMIZATION Υπολογιστική ΕΣΑ

Similar Items

Introduction to Linear Optimization
by: Bertsimas, Dimitris, et al.
Published: (1997)

Semantics and Logic of Computation

Linear Programming
by: Chvatal, Vasek
Published: (1983)

Logic for computer science Foundations of automatic theorem proving
by: Gallier, Jean H.
Published: (1987)

A computational logic handbook
by: Boyer, Robert, et al.
Published: (1998)

A Computational Logic Handbook
by: Moore, J. Strother, et al.
Published: (1988)

Solving higher-order equations From logic to programming
by: Prehofer, Christian
Published: (1998)

Topics in optimal transportation /
by: Villani, Cedric 1973-
Published: (2003)

Linear and nonlinear optimization
by: Griva, Igor, et al.
Published: (2009)

Logics for Concurrency Structure versus Automata Proceedings of the VIIIth Banff Hegher Order Workshop Banff, Canada August 27-September 3 1994
Published: (1996)

Linear programming : foundations and extensions /
by: Vanderbei, Robert J.
Published: (2001)

Βελτιστοποίηση και δυναμική προσομοίωση διεργασιών /
by: Κούκος, Ιωάννης Κ.
Published: (2021)

Simulated Annealing and Boltzmann Machines A stochastic approach to cambinatorial optimization and neural computing
by: Aarts, E. H. L. (Emile H. L.), et al.
Published: (1989)

Logic-based methods for optimization combining optimization and constraint satisfaction
by: Hooker, John
Published: (2000)

Discrete Mathematics in Computer Science
by: McAllister, David F., et al.
Published: (1977)

Foundations of Disjunctive Logic Programming
by: Lobo, Jorge, et al.
Published: (1992)

Deterministic operations research models and methods in linear optimization
by: Rader, David J. 1970-
Published: (2010)

Foundations of logic programming
by: Lloyd, J. W. 1947- (John Wylie)
Published: (1984)

Linear optimization and extensions /
Published: (1999)

Optimization and Control with Applications
by: Qi, Liqun
Published: (2005)

Theory of linear and integer programming
by: Schrijver, Alexander
Published: (1986)

Linear programming in infinite-dimensional spaces Theory and applications
by: Anderson, Edward J., et al.
Published: (1987)

Logic programming and knowledge engineering
by: Amble, Tore
Published: (1987)

Engineering optimization theory and practice
by: Rao, Singiresu S., 1944-
Published: (1996)

Logic and computation Interactive Proof with Cambridge LCF
by: Paulson, Lawrence C.
Published: (1987)

Linear programming : methods and applications /
by: Gass, Saul I. (Saul Irving), 1926-
Published: (2003)

Γραμμικός προγραμματισμός μεθοδολογία υποστήριξης αποφάσεων - 40 προβλήματα επιχειρήσεων - πολυκριτήρια βελτιστοποίηση - πακέτα λογισμικού και επίλυση στο Excel
by: Σίσκος, Ιωάννης
Published: (2009)

The simplex method of linear programming
by: Ficken, F.A
Published: (1961)

Μορφές ανάλυσης ευαισθησίας για προβλήματα γραμμικού προγραμματισμού
by: Μπαλαφούτη, Παναγιώτα
Published: (2010)

Γραμμικός προγραμματισμός
by: Μπότσαρης, Χαράλαμπος Ε.
Published: (1990)

Μη γραμμικός προγραμματισμός
by: Μπότσαρης, Χαράλαμπος Ε.
Published: (1990)

Linear inequalities and related systems /
Published: (1956)

Oriented matroids /
Published: (1993)

Γραμμικός προγραμματισμός
by: Μπότσαρης, Χαράλαμπος Ε.
Published: (1999)

Δυναμικός και μη γραμμικός προγραμματισμός
by: Μπότσαρης, Χαράλαμπος Ε.
Published: (1999)

Linear programming and extensions
by: Dantzig, George B.
Published: (1998)

Γραμμικός προγραμματισμός αλγόριθμοι και εφαρμογές
by: Παπαρρίζος, Κωνσταντίνος Ι.
Published: (1999)

Linear programming and network flows
by: Bazaraa, Mokhtar S. 1943-
Published: (2005)

Linear programming algorithms and applications
by: Vajda, S.
Published: (1981)

Γραμμικός προγραμματισμός
by: Gass, Saul I. (Saul Irving), 1926-
Published: (1974)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών