Passer au contenu principal Passer au contenu du pied de page

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Édition : Ricardo Caferra , Gernot Salzer

9 février 2000

71,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 358 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

304

Lecture Notes in Artificial Intelligence

Publié par: Springer

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783540671909

Graph Structures for Knowledge Representation and Reasoning: 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

Madalina Croitoru Couverture souple
80,50 $
2 formats offerts
Research and Education in Urban History in the Age of Digital Libraries: Second International Workshop, UHDL 2019, Dresden, Germany, October 10-11, 2019, Revised Selected Papers

Florian Niebling Couverture souple
124,50 $
2 formats offerts
Metadata and Semantic Research: 16th Research Conference, MTSR 2022, London, UK, November 7-11, 2022, Revised Selected Papers

Emmanouel Garoufallou Couverture souple
116,95 $
2 formats offerts
Provenance and Annotation of Data and Processes: 8th and 9th International Provenance and Annotation Workshop, IPAW 2020 + IPAW 2021, Virtual Event, July 19-22, 2021, Proceedings

Boris Glavic Couverture souple
80,50 $
2 formats offerts
Natural Scientific Language Processing and Research Knowledge Graphs: First International Workshop, NSLP 2024, Hersonissos, Crete, Greece, May 27, 2024, Proceedings

Georg Rehm Couverture souple
204,50 $
2 formats offerts
Natural Scientific Language Processing and Research Knowledge Graphs: First International Workshop, NSLP 2024, Hersonissos, Crete, Greece, May 27, 2024, Proceedings

Georg Rehm Couverture souple
58,50 $
Knowledge Graph and Semantic Computing: Knowledge Graph Empowers the Digital Economy: 7th China Conference, CCKS 2022, Qinhuangdao, China, August 24-27, 2022, Revised Selected Papers

Maosong Sun Couverture souple
124,50 $
2 formats offerts
Recent Trends in Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers

Dmitry I. Ignatov Couverture souple
124,50 $
2 formats offerts
Advances in Chance Discovery: Extended Selection from International Workshops

Yukio Ohsawa Couverture souple
160,95 $
2 formats offerts
Recent Trends in Analysis of Images, Social Networks and Texts: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28-30, Revised Selected Papers

Dmitry I. Ignatov Couverture souple
72,95 $
Semantics in Data and Knowledge Bases: 5th International Workshop Sdkb 2011, Zurich, Switzerland, July 3, 2011, Revised Selected Papers

Klaus-Dieter Schewe Couverture souple
72,95 $
Chinese Lexical Semantics: 23rd Workshop, CLSW 2022, Virtual Event, May 14-15, 2022, Revised Selected Papers, Part II

Qi Su Couverture souple
124,50 $
2 formats offerts
Graph Structures For Knowledge Representation and Reasoning: 6th International Workshop, Gkr 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Michael Cochez Couverture souple
72,95 $
2 formats offerts
Analysis Of Images, Social Networks And Texts: 8th International Conference, Aist 2019, Kazan, Russia, July 17-19, 2019, Revised Selected Papers

Wil M. P. van der Aalst Couverture souple
80,50 $
2 formats offerts
Speech, Sound and Music Processing: Embracing Research in India: 8th International Symposium, CMMR 2011 and 20th International Symposium, FRSM 2011, Bhubaneswar, India, March 9-12, 2011, Revised Selected Papers

Solvi Ystad Couverture souple
105,50 $
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Martin Leucker Couverture souple
80,50 $
Computational Neuroscience: 4th Latin American Workshop, LAWCN 2023, Envigado, Colombia, November 28-30, 2023, Revised Selected Papers

Jaime A. Riascos Salas Couverture souple
94,95 $
2 formats offerts
Metadata And Semantic Research: 14th International Conference, Mtsr 2020, Madrid, Spain, December 2-4, 2020, Revised Selected Papers

Emmanouel Garoufallou Couverture souple
80,50 $
2 formats offerts
Knowledge Graph And Semantic Computing. Knowledge Computing And Language Understanding: Third China Conference, Ccks 2018, Tianjin, China, August 14-17, 2018, Revised Selected Papers

Jun Zhao Couverture souple
80,50 $
2 formats offerts
Geometry and Vision: First International Symposium, ISGV 2021, Auckland, New Zealand, January 28-29, 2021, Revised Selected Papers

Minh Nguyen Couverture souple
80,50 $
2 formats offerts

Évaluation éditoriale

ricardo caferra

Auteur

Nonlinear Speech Modeling and Applications: Advanced Lectures and Revised Selected Papers

Gerard Chollet Couverture souple
80,50 $
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune

Maria Paola Bonacina Couverture souple
72,95 $
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

Thomas Eiter Couverture souple
80,50 $
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution: Bridging the Semantic Gap

Georgios Paliouras Couverture souple
80,50 $
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation

Gerd Wagner Couverture souple
71,50 $
A Methodology for Uncertainty in Knowledge-Based Systems

Kurt Weichselberger Couverture souple
71,50 $
Socionics: Scalability of Complex Social Systems

Klaus Fischer Couverture souple
80,50 $
Ludics, Dialogue and Interaction: PRELUDE Project - 2006-2009. Revised Selected Papers

ALAIN Lecomte Couverture souple
80,50 $
Emerging Ideas on Information Filtering and Retrieval: DART 2013: Revised and Invited Papers

Cristian Lai Couverture souple
160,95 $
3 formats offerts
Distributed Artificial Intelligence: Theory and Praxis

Couverture rigide
220,95 $
Digital Economy: Complexity And Variety Vs. Rationality

Elena G. Popkova Couverture souple
321,50 $
2 formats offerts
Introduction to Intelligent Systems in Traffic and Transportation

Ana L C Bazzan Couverture souple
49,50 $
Computational Aspects of Cooperative Game Theory

Georgios Chalkiadakis Couverture souple
49,50 $
Ambient Intelligence for Scientific Discovery: Foundations, Theories, and Systems

Yang Cai Couverture souple
80,50 $
Trends In Natural Language Generation: An Artificial Intelligence Perspective: Fourth European Workshop, EWNLG '93, Pisa, Italy, April 28-30, 1993 Selected Papers

Couverture souple
71,50 $
3D Dynamic Scene Analysis: A Stereo Based Approach

Zhengyou Zhang Couverture rigide
155,95 $
Modelling with Words: Learning, Fusion, and Reasoning within a Formal Linguistic Representation Framework

Jonathan Lawry Couverture souple
80,50 $
Multimodal Communication in Political Speech Shaping Minds and Social Action: International Workshop, Political Speech 2010, Rome, Italy, November 10-12, 2010, Revised Selected Papers

Isabella Poggi Couverture souple
72,95 $
Paradigms of Artificial Intelligence: A Methodological and Computational Analysis

Achim G. Hoffmann Couverture souple
80,50 $
Connectionist, Statistical and Symbolic Approaches to Learning for Natural Language Processing

Couverture souple
71,50 $