MPG.eBooks - Search Results - "Formal Languages And Automata Theory"

181

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

Published 2015

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

182

Fundamentals of Artificial Intelligence : An Advanced Course

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

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

183

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

Published 1990

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

184

Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings

Published 1998

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

185

Graph Structures for Knowledge Representation and Reasoning : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

Published 2021

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

186

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

Published 2021

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

187

Text, Speech, and Dialogue : 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

188

KI 2019: Advances in Artificial Intelligence : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings

Published 2019

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Read Now

189

Computational Learning Theory : 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings

Published 1999

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

190

Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

191

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

Published 1999

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

192

Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Published 2001

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

193

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: “...Formal Languages and Automata Theory...”

Read Now

194

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

by Kaiser, Lukasz
Published 2011

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

195

Neural-Symbolic Cognitive Reasoning

by D'Avila Garcez, Artur S., Lamb, Luís C., Gabbay, Dov M.
Published 2009

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

196

Inductive Logic Programming : 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

197

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

Published 2006

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

198

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

Published 2007

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

199

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Published 2005

Springer Berlin Heidelberg

Subjects: “...Formal Languages and Automata Theory...”

Read Now

200

Multi-Agent Systems : 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

Published 2015

Springer International Publishing

Subjects: “...Formal Languages and Automata Theory...”

Narrow Search