Satisfiability problem :

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
Άλλοι συγγραφείς:	Du, Dingzhu (Επιμελητής έκδοσης), Gu, Jun 1956- (Επιμελητής έκδοσης), Παρδαλός, Πάνος Μ. (Επιμελητής έκδοσης)
Μορφή:	Βιβλίο
Γλώσσα:	English
Δημοσίευση:	Providence, R.I. : American Mathematical Society, c1997
Σειρά:	DIMACS series in discrete mathematics and theoretical computer science ; ; 35
Θέματα:	Propositional calculus > Congresses. Decision making > Congresses. Computer algorithms > Congresses. Computer science > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Propositional calculus
από: Nidditch, P. H.
Δημοσίευση: (1962)

Beginning logic
από: Lemmon, E. J. (Edward John)
Δημοσίευση: (1972)

Decision support systems :
από: Lotfi, Vahid
Δημοσίευση: (1996)

Computer assisted decision making :
Δημοσίευση: (1986)

Bounded rationality :
Δημοσίευση: (2001)

Changing values in medical and health care decision making
Δημοσίευση: (1990)

Conflicting objectives in decisions
Δημοσίευση: (1978)

Data structures and efficient algorithms :
Δημοσίευση: (1992)

Decision theory and multi-agent planning
Δημοσίευση: (2006)

Decision support systems :
Δημοσίευση: (1986)

Multiple criteria decision making :
Δημοσίευση: (1997)

Economic and environmental risk and uncertainty :
Δημοσίευση: (1997)

Graphs and algorithms :
Δημοσίευση: (1989)

2nd annual ACM symposium on parallel algorithms and architectures :

Genetic programming :
Δημοσίευση: (1996)

Risk benefit analysis in water resources planning and management

47emes journees du groupe de travail europeen "Aide multicritere a la decision" =
Δημοσίευση: (1998)

Multi-objective programming and goal programming :
Δημοσίευση: (1996)

Mathematics of the decision sciences
Δημοσίευση: (1970)

Variational Inequalities and Complementarity Problems :
Δημοσίευση: (1980)

Fuzzy approach to reasoning and decision-making :
Δημοσίευση: (1992)

Hybrid and adaptive computational intelligence in medicine and bio-informatics :
Δημοσίευση: (2003)

Adaptive systems and hybrid computational intelligence in medicine :
Δημοσίευση: (2001)

Noncompact problems at the intersection of geometry, analysis, and topology :
Δημοσίευση: (2004)

Artificial intelligence in medicine :
Δημοσίευση: (1999)

Handbook for environmental risk decision making :
από: Cothern, C. Richard
Δημοσίευση: (1996)

Bounded arithmetic, propositional logic and complexity theory
από: Krajicek, Jan
Δημοσίευση: (1996)

Educational research and policy :
Δημοσίευση: (1984)

Discovery science :
Δημοσίευση: (1998)

Multiple criteria decision making :
Δημοσίευση: (1992)

Fast algorithms for structured matrices :
Δημοσίευση: (2003)

Lectures on probability theory and statistics :
Δημοσίευση: (1998)

GIS for environmental decision-making
από: Lovett, Andrew A.
Δημοσίευση: (2008)

5ο συνέδριο εφαρμογών πληροφορικής :
Δημοσίευση: (1999)

Vision, brain, and cooperative computation
Δημοσίευση: (1990)

Knowledge science, engineering and management :
Δημοσίευση: (2007)

Impact of emerging technologies on computer science and operations research
Δημοσίευση: (1995)

Public key cryptography :
Δημοσίευση: (1999)

Foundations of genetic algorithms.4
Δημοσίευση: (1997)

Foundations of genetic algorithms.3
Δημοσίευση: (1995)