MPG.eBooks - Search Results

61

Executable Modal and Temporal Logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

62

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

63

A Missing Link in Cybernetics : Logic and Continuity

by Andrew, Alex M.
Published 2009

Springer New York

Subjects: “...Mathematical Logic and Foundations...”

Read Now

64

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Published 2005

Springer Berlin Heidelberg

Subjects: “...Mathematical Logic and Foundations...”

Read Now

65

Artificial Adaptive Systems Using Auto Contractive Maps : Theory, Applications and Extensions

by Buscema, Paolo Massimo, Massini, Giulia, Breda, Marco, Lodwick, Weldon A.
Published 2018

Springer International Publishing

Subjects: “...Mathematical Logic and Foundations...”

Read Now

66

An Introduction to Fuzzy Logic and Fuzzy Sets

by Buckley, James J., Eslami, Esfandiar
Published 2002

Physica-Verlag HD

Subjects: “...Mathematical Logic and Foundations...”

Read Now

67

Fuzzy Discrete Structures

by Malik, Davender S., Mordeson, John N.
Published 2000

Physica

Subjects: “...Mathematical Logic and Foundations...”

Read Now

68

Abstraction, Reformulation, and Approximation : 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

69

Scalable Uncertainty Management : 13th International Conference, SUM 2019, Compiègne, France, December 16–18, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

70

Intelligent Agents VIII : 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

71

Implementation and Application of Automata : 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

72

Intelligent Agents: Specification, Modeling, and Application : 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, Taipei, Taiwan, July 28-29, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

73

Intelligent Agents VII. Agent Theories Architectures and Languages : 7th International Workshop, ATAL 2000, Boston, MA, USA, July 7-9, 2000. Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

74

Intelligent Agents and Multi-Agent Systems : 5th Pacific Rim International Workshop on Multi-Agents, PRIMA 2002, Tokyo, Japan, August 18-19, 2002. Proceedings

Published 2002

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

75

Advances in Agent Communication : International Workshop on Agent Communication Languages ACL 2003, Melbourne, Australia, July 14, 2003

Published 2004

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

76

Belief Revision in Non-Classical Logics

by Ribeiro, Márcio Moretto
Published 2013

Springer London

Subjects: “...Mathematical Logic and Foundations...”

Read Now

77

Intelligent Agents and Multi-Agent Systems : 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

78

Agent Computing and Multi-Agent Systems : 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

79

Intelligent Agents and Multi-Agent Systems : 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Read Now

80

Communication in Multiagent Systems : Agent Communication Languages and Conversation Policies

Published 2003

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Narrow Search