MPG.eBooks - Search Results

101

Automated Reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

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

Read Now

102

Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

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

Read Now

103

Logical Foundations for Cognitive Agents : Contributions in Honor of Ray Reiter

Published 1999

Springer Berlin Heidelberg

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

Read Now

104

Fundamentals of Artificial Intelligence : An Advanced Course

by Bibel, Wolfgang, Biermann, A.W., Delgrande, J.P., Huet, G.
Published 1986

Springer Berlin Heidelberg

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

Read Now

105

CSL '89 : 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings

Published 1990

Springer Berlin Heidelberg

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

Read Now

106

From Synapses to Rules : Discovering Symbolic Rules from Neural Processed Data

Published 2002

Springer US

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

Read Now

107

Theory and Practical Issues on Cellular Automata : Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe,4-6 October 2000

Published 2001

Springer London

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

Read Now

108

Frontiers of Combining Systems : 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

Published 2015

Springer International Publishing

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

Read Now

109

Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

Published 2007

Springer Berlin Heidelberg

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

Read Now

110

Agent Computing and Multi-Agent Systems : 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007, Revised Papers

Published 2009

Springer Berlin Heidelberg

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

Read Now

111

Logical Tools for Handling Change in Agent-Based Systems

by Gabbay, Dov M., Schlechta, Karl
Published 2010

Springer Berlin Heidelberg

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

Read Now

112

Automated Deduction -- CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Published 2011

Springer Berlin Heidelberg

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

Read Now

113

Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions

by Kaiser, Lukasz
Published 2011

Springer Berlin Heidelberg

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

Read Now

114

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Published 2023

Springer Nature Switzerland

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

Read Now

115

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

Published 2021

Springer International Publishing

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

Read Now

116

Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach

Published 1998

Springer US

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

Read Now

117

Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

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

Read Now

118

Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Published 2017

Springer International Publishing

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

Read Now

119

A Tight, Practical Integration of Relations and Functions

by Boley, Harold
Published 1999

Springer Berlin Heidelberg

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

Read Now

120

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

Published 2003

Springer Berlin Heidelberg

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

Narrow Search