On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1 /

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1 /

The notion of Fuzziness stands as one of the really new concepts that have recently enriched the world of Science. Science grows not only through technical and formal advances on one side and useful applications on the other side, but also as consequence of the introduction and assimilation of new...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Seising, Rudolf (Επιμελητής έκδοσης), Trillas, Enric (Επιμελητής έκδοσης), Moraga, Claudio (Επιμελητής έκδοσης), Termini, Settimo (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Σειρά:	Studies in Fuzziness and Soft Computing, 298
Θέματα:	Engineering. Mathematical logic. Computational intelligence. Computational Intelligence. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

On Fuzziness A Homage to Lotfi A. Zadeh – Volume 2 /
Έκδοση: (2013)

Computing with Words Principal Concepts and Ideas /
ανά: Zadeh, Lotfi A.
Έκδοση: (2012)

On Intuitionistic Fuzzy Sets Theory
ανά: Atanassov, Krassimir T.
Έκδοση: (2012)

On the Logos: A Naïve View on Ordinary Reasoning and Fuzzy Logic
ανά: Trillas, Enric
Έκδοση: (2017)

Fuzziness in Information Systems How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization /
ανά: Hudec, Miroslav
Έκδοση: (2016)

Automated Reasoning Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings /
Έκδοση: (2004)

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday /
Έκδοση: (2005)

The Design of Requirements Modelling Languages How to Make Formalisms for Problem Solving in Requirements Engineering /
ανά: Jureta, Ivan
Έκδοση: (2015)

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση: (2006)

Automated Deduction – CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings /
Έκδοση: (2011)

Automated Deduction – CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings /
Έκδοση: (2005)

Automated Deduction – CADE-21 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings /
Έκδοση: (2007)

Reactive Kripke Semantics
ανά: Gabbay, Dov M.
Έκδοση: (2013)

Mathematics of Fuzzy Sets and Fuzzy Logic
ανά: Bede, Barnabas
Έκδοση: (2013)

Probability Logics Probability-Based Formalization of Uncertain Reasoning /
ανά: Ognjanović, Zoran, κ.ά.
Έκδοση: (2016)

Conditionals and Modularity in General Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2011)

Agent Technology from a Formal Perspective
Έκδοση: (2006)

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology /
ανά: Lee, Raymond S. T.
Έκδοση: (2006)

Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
Έκδοση: (2015)

Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
Έκδοση: (2005)

Natural Deduction, Hybrid Systems and Modal Logics
ανά: Indrzejczak, Andrzej
Έκδοση: (2010)

Intuitionistic Fuzzy Logics
ανά: T. Atanassov, Krassimir
Έκδοση: (2017)

Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /
Έκδοση: (2005)

The Seventeen Provers of the World Foreword by Dana S. Scott /
Έκδοση: (2006)

A New Perspective on Nonmonotonic Logics
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2016)

Decision Procedures An Algorithmic Point of View /
ανά: Kroening, Daniel, κ.ά.
Έκδοση: (2008)

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
Έκδοση: (2016)

Logical Tools for Handling Change in Agent-Based Systems
ανά: Gabbay, Dov M., κ.ά.
Έκδοση: (2010)

Belief Revision in Non-Classical Logics
ανά: Ribeiro, Márcio Moretto
Έκδοση: (2013)

Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
Έκδοση: (2004)

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings /
Έκδοση: (2006)

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
Έκδοση: (2007)

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings /
Έκδοση: (2007)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Έκδοση: (2013)

Deductive Software Verification – The KeY Book From Theory to Practice /
Έκδοση: (2016)

Compiler Construction 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
Έκδοση: (2004)

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
Έκδοση: (2007)

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /
Έκδοση: (2010)

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
Έκδοση: (2005)

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings /
Έκδοση: (2008)

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