Constraint-Based Reasoning

Constraint-Based Reasoning

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Freuder, Eugene C. (Επιμελητής έκδοσης), Mackworth, Alan K. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	Cambridge Massachusetts Cambridge Massachusetts Massachusetts Institute of Technology Cambridge Mass. Bradford Book c1992
Θέματα:	Αιτία ΕΣΑ Τεχνητή νοημοσύνη

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

Reasoning about change Time and causation from the standpoint of artificial intelligence
ανά: Shoham, Yoav
Έκδοση: (1988)

Reasining about Knowledge
ανά: Fagin, Ronald, κ.ά.
Έκδοση: (1995)

Counterfactuals and causal inference : methods and principles for social research /
ανά: Morgan, Stephen L. 1971- (Stephen Lawrence)
Έκδοση: (2007)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Publisher 2000 Get professional results
ανά: Parker, Roger C.
Έκδοση: (2000)

The Psychology of Proof Deductive Reasoning in Human Thinking
ανά: Rips, Lance J.
Έκδοση: (1994)

Constraint Satisfaction Techniques for Agent-Based Reasoning
ανά: Neagu, Nicoleta
Έκδοση: (2005)

The design and analysis of algorithms
ανά: Kozen, Dexter C.
Έκδοση: (1992)

Poisson Approximation
ανά: Barbour, A. D., κ.ά.
Έκδοση: (1992)

Verifying temporal properties of systems
ανά: Bradfield, Julian Charles
Έκδοση: (1992)

Μάθετε το SuSE Linux σε 24 ώρες
ανά: Ball, Bill
Έκδοση: (2000)

Non-standard computation Molecular computation-cellular automata-evolutionaty algorithms-quantum computers
ανά: Gramss, Tino
Έκδοση: (1998)

A Textbook of Graph Theory
ανά: Balakrishnan, R. (Rangaswami), κ.ά.
Έκδοση: (2000)

Algorithms A functional programming approach
ανά: Rabhi, Fethi, κ.ά.
Έκδοση: (1999)

FrontPage 98 bible
ανά: Elderbrock, David, κ.ά.
Έκδοση: (1998)

A course in game theory
ανά: Osborne, Martin J., κ.ά.
Έκδοση: (1994)

Introduction to Mathematical Physics
ανά: Harper, Charlie
Έκδοση: (1995)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1966)

Physics
ανά: Resnick, Robert, 1923-, κ.ά.
Έκδοση: (1962)

Exploring discrete mathematics with maple
ανά: Devitt, John S., κ.ά.
Έκδοση: (1997)

Subrecursive Programming Systems Complexity and Succinctness
ανά: Case, John, κ.ά.
Έκδοση: (1994)

Treewidth Computations and Approximations
ανά: Kloks, Ton
Έκδοση: (1994)

Quantum computing and communications
Έκδοση: (1999)

Principles of transaction processing
ανά: Bernstein, Philip A., κ.ά.
Έκδοση: (1997)

Game Theory A nontechnical introduction
ανά: Davis, Morton D.
Έκδοση: (1983)

Designing and building parallel programs Concepts and tools for parallel software engineering
Έκδοση: (1995)

Concurrent programming
ανά: Snow, C.R
Έκδοση: (1992)

Logic and computation Interactive Proof with Cambridge LCF
ανά: Paulson, Lawrence C.
Έκδοση: (1987)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

outlook 98 in 24 hours SAMS teach yourself
ανά: Nicholson, John R.
Έκδοση: (1998)

Microsoft outlook 98 at a glance
ανά: Nelson, Stephen L.
Έκδοση: (1998)

Structured development of parallel programs
ανά: Pelagatti, Susanna
Έκδοση: (1998)

Practical parallel programming
ανά: Wilson, Gregory V.
Έκδοση: (1995)

Statistical Mechanics
ανά: Huang, Kerson, 1928-
Έκδοση: (1987)

Linear Programming
ανά: Chvatal, Vasek
Έκδοση: (1983)

Semantics and Logic of Computation

Advanced compiler design and implementation
ανά: Muchnick, Steven S.
Έκδοση: (1997)

Handbook of proof theory
Έκδοση: (1998)

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

Cannot write session to /tmp/vufind_sessions/sess_pa0kvdcfrji75a6ahgge27cqmt