Search Results - "Mathematical logic"

161

Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

162

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

163

Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

164

Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

165

Towards a General Theory of Classifications

by Parrochia, Daniel., Neuville, Pierre.
Published 2013

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

166

A 25-Year Perspective on Logic Programming Achievements of the Italian Association for Logic Programming, GULP /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
View fulltext via EzAccess

Electronic

167

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

168

Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

169

The Language of Mathematics A Linguistic and Philosophical Investigation /

by Ganesalingam, Mohan.
Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

170

Computer Science Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /

Published 2013

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

171

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

172

Specification and Verification of Multi-agent Systems

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

173

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

174

Artificial Intelligence An International Perspective An International Perspective /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

175

Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

176

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

177

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

178

Logic and the Foundations of Game and Decision Theory <U+0013> LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /

Published 2010

Subjects: '; “...Mathematical Logic and Formal Languages....”
Get full text

Electronic

179

Cognitive Reasoning A Formal Approach /

by Gergely, Tams̀., Anshakov, Oleg M.
Published 2010

Subjects: '; “...Mathematical Logic and Foundations....”
Get full text

Electronic

180

Advanced Functional Programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /

Published 2009

Subjects: '; “...Mathematical Logic and Formal Languages....”
View fulltext via EzAccess

Electronic

Narrow Search