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 Satisfaction Techniques for Agent-Based Reasoning
ανά: Neagu, Nicoleta
Έκδοση: (2005)

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

Foundations of soft case-based reasoning
ανά: Pal, Sankar K.
Έκδοση: (2004)

The computer modelling of mathematical reasonic
ανά: Bundy, lan
Έκδοση: (1983)

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

Logic programming and nonmonotonic reasoning proceedings
Έκδοση: (1995)

Qualitative reasoning about physical systems / edited by Daniel G. Bobrow.
Έκδοση: (1984)

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

Probabilistic reasoning in intelligent systems : networks of plausible inference /
ανά: Pearl, Judea
Έκδοση: (1988)

Reasoning about rational agents
ανά: Wooldridge, Michael J. 1966-
Έκδοση: (2000)

Automated reasonic 33 basic research problems
ανά: Wos, Larry
Έκδοση: (1988)

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)

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

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

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

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

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

Knowledge based problem solving
Έκδοση: (1986)

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)

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

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)

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