prade h. (eds.) Prade H. (eds.)'s Documents - EPDF.PUB

Prade H. (eds.)'s Documents

Prade H. (eds.)'s Documents

Non-standard logics for automated reasoning

Non-standard logics for automated reasoning
Read more
Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings

Scalable Uncertainty Management: First International Conference, SUM 2007, Washington, DC, USA, October 10-12, 2007, Proceedings
Read more
100 Jahre Mathematisches Seminar der Karl-Marx-Universitaet Leipzig

100 Jahre Mathematisches Seminar der Karl-Marx-Universitaet Leipzig
Read more
Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings (Lecture ... Applications, incl. Internet Web, and HCI)

Foundations of Information and Knowledge Systems: 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings (Lecture ... Applications, incl. Internet Web, and HCI)
Read more
Advances in Interdisciplinary Applied Discrete Mathematics

Advances in Interdisciplinary Applied Discrete Mathematics
Read more
Some tapas of computer algebra

Some tapas of computer algebra
Read more
Geometry and quantum physics

Geometry and quantum physics
Read more
Perspectives in nonlinear partial differential equations : in honor of Haïm Brezis

Perspectives in nonlinear partial differential equations : in honor of Haïm Brezis
Read more
Category theory at work

Category theory at work
Read more
Some tapas of computer algebra

Some tapas of computer algebra
Read more
Houben-Weyl Methoden der organischen Chemie vol.E3 Aldehydes

Houben-Weyl Methoden der organischen Chemie vol.E3 Aldehydes
Read more
Computing meaning, vol.1

Computing meaning, vol.1
Read more
Nature outlook: Nutrigenomics. How food shapes health and evolution

Nature outlook: Nutrigenomics. How food shapes health and evolution
Read more
Protein - Protein Interaction

Protein - Protein Interaction
Read more
Irreversible Aspects of Continuum Mechanics and Transfer of Physical Characteristics in Moving Fluids

Irreversible Aspects of Continuum Mechanics and Transfer of Physical Characteristics in Moving Fluids
Read more
Fixed-point algorithms for inverse problems in science and engineering

Fixed-point algorithms for inverse problems in science and engineering
Read more
The handbook of MPEG applications: Standards in practice

The handbook of MPEG applications: Standards in practice
Read more
Quantum Probability and Infinite Dimensional Analysis

Quantum Probability and Infinite Dimensional Analysis
Read more
Nonlinear Partial Differential Equations: The Abel Symposium 2010

Nonlinear Partial Differential Equations: The Abel Symposium 2010
Read more
Mechanical Testing and Evaluation

Mechanical Testing and Evaluation
Read more
Human population dynamics

Human population dynamics
Read more
Multicomponent Reactions

Multicomponent Reactions
Read more
Extreme values in finance, telecommunications, and the environment

Extreme values in finance, telecommunications, and the environment
Read more
Shock Wave-Boundary-Layer Interactions

Shock Wave-Boundary-Layer Interactions
Read more
Springer Handbook of Condensed Matter and Materials Data

Springer Handbook of Condensed Matter and Materials Data
Read more
Pindarus - Pars I: Epinicia and Pars II: Fragmenta et Indices

Pindarus - Pars I: Epinicia and Pars II: Fragmenta et Indices
Read more
Houben-Weyl Methoden der organischen Chemie vol.E8a Hetarenes III, Part 1

Houben-Weyl Methoden der organischen Chemie vol.E8a Hetarenes III, Part 1
Read more
Recent developments in nonlinear analysis

Recent developments in nonlinear analysis
Read more
Video Segmentation and Its Applications

Video Segmentation and Its Applications
Read more
Advanced Monitoring and Numerical Analysis of Coastal Water and Urban Air Environment

Advanced Monitoring and Numerical Analysis of Coastal Water and Urban Air Environment
Read more