Εξώφυλλο

Κώδικας QR

Logic and integer programming /

Κύριος συγγραφέας:	Williams, H. P.
Μορφή:	Βιβλίο
Γλώσσα:	English
Στοιχεία έκδοσης:	New York : Springer, 2009.
Σειρά:	International series in operations research & management science ; 130
Ταξινομικός αριθμός:	005.115 WIL
Θέματα:	Logic Programming. Integer programming.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Παρόμοια τεκμήρια

Reasoning with Logic Programming /
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Inductive logic programming: from machine learning to software engineering /
από: Bergadamo, Francesco.
Στοιχεία έκδοσης: (1995)

Logic program synthesis and transformation. International workshop, LOPSTR (6th:1996:Stockholm, Sweden), August 28-30, 1996: proceedings/
Στοιχεία έκδοσης: (1997)

Logic programming : formal methods and practical applications /
Στοιχεία έκδοσης: (1995)

Computing in horn clause theories/
από: Padawitz, Peter.
Στοιχεία έκδοσης: (1988)

Reasoning with logic programming/
από: Alferes, Jose Julio.
Στοιχεία έκδοσης: (1996)

Computation, Logic, Philosophy: a collection of essays /
από: Hao, Wang.
Στοιχεία έκδοσης: (1990)

Nomonotonic Logics: basic concepts, results, and techniques /
από: Schlechta, Karl.
Στοιχεία έκδοσης: (1997)

Logic /
από: Hodges, Wilfrid.
Στοιχεία έκδοσης: (1977)

Integer programming/
από: Greenberg, Harold, 1928-
Στοιχεία έκδοσης: (1971)

Integer programming /
από: Garfinkel, Robert.
Στοιχεία έκδοσης: (1972)

Theory of linear and integer programming /
από: Schrijver, Alexander.
Στοιχεία έκδοσης: (1986)

The Godel Programming Language /
από: Hill, Patricia.
Στοιχεία έκδοσης: (1994)

Logic programming with Prolog /
από: Bramer, M. A. 1948-
Στοιχεία έκδοσης: (2005)

The journal of logic programming
Στοιχεία έκδοσης: (1984)

Journal of logic and algerbraic programming
Στοιχεία έκδοσης: (1984)

Studies in integer programming /
Στοιχεία έκδοσης: (1977)

Integer programming : theory, applications an computations /
από: Taha, Hamdy A.
Στοιχεία έκδοσης: (1975)

Temporal Logic of Programs /
Στοιχεία έκδοσης: (1987)

AI game development : synthetic creatures with learning and reactive behaviors /
από: Champandard, Alex.
Στοιχεία έκδοσης: (2004)

Model building in mathematical programming /
από: Williams, H. P.
Στοιχεία έκδοσης: (1985)

Model building in mathematical programming /
από: Williams, H. P.
Στοιχεία έκδοσης: (1978)

Logic-based decision support : mixed integer model formulation /
από: Jeroslow, Robert G., 1942-
Στοιχεία έκδοσης: (1989)

Analysis and verification of multiple-agent languages (5th:Stockholm, Sweden:1996), June 24-26 1996: workshop, selected papers/
Στοιχεία έκδοσης: (1997)

The Posing of questions: logical foundations of Erotetic inferences/
από: Wisniewski, Andrzej.
Στοιχεία έκδοσης: (1995)

Frontiers of combining systems: first international workshops, Munich, March 1996 /
Στοιχεία έκδοσης: (1996)

Elementary logic /
από: Quine, Willard Orman van.
Στοιχεία έκδοσης: (1981)

Integer and combinatorial optimization /
από: Nemhauser, George L.
Στοιχεία έκδοσης: (1988)

VHDL coding and logic synthesis with Synopsys /
από: Lee, Weng Fook.
Στοιχεία έκδοσης: (2000)

The logic of partial information /
από: Nait Abdallah, Areski, 1950-
Στοιχεία έκδοσης: (1995)

Logic and algorithms: with applications to the computer and information sciences/
από: Korfhage, Robert R.
Στοιχεία έκδοσης: (1966)

Formal logic: its scope and limits/
από: Jeffrey, Richard C.
Στοιχεία έκδοσης: (1967)

The Logic of Essentialism: an interpretation of Aristotle's Modal Syllogistic /
από: Thom, Paul.
Στοιχεία έκδοσης: (1996)

Essays in analysis /
από: Russell, Bertrand, 1872-1970.
Στοιχεία έκδοσης: (1973)

Incosistent mathematicics /
από: Mortensen, Chris.
Στοιχεία έκδοσης: (1995)

Truth, deduction, and computation : logic and semantics for computer science /
από: Davis, R.E.
Στοιχεία έκδοσης: (1989)

Advanced ASIC chip synthesis : using Synopsys Design Compiler, Physical Compiler, and PrimeTime /
από: Bhatnagar, Himanshu.
Στοιχεία έκδοσης: (2002)

Expaining games : the epistemic programme in game theory /
από: Bruin, Boudewijn De.
Στοιχεία έκδοσης: (2010)

Fundamentals of digital logic with VHDL design /
από: Brown, Stephen.
Στοιχεία έκδοσης: (2009)

Dynamic programming : sequential decision-making /
από: Williams, K.
Στοιχεία έκδοσης: (1970)