Search Results - "Logic."

161

Testing Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

162

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

163

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

164

Objects, Models, Components, Patterns 48th International Conference, TOOLS 2010, Ml̀aga, Spain, June 28<U+0013>July 2, 2010. Proceedings /

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

165

Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komr̀no, Slovakia, May 25-30, 2009, Revised Selected Lectures...

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

166

From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /

by Marquis, Jean-Pierre.
Published 2009

Subjects: '; “...Logic, Symbolic and mathematical....”
Get full text

Electronic

167

Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

168

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

169

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

170

Neural-Symbolic Cognitive Reasoning

by d<U+0019>Avila Garcez, Artur S., Lamb, Lus̕ C., Gabbay, Dov M.
Published 2009

Subjects: '; “...Logic....”
Get full text

Electronic

171

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings /

Published 2009

Subjects: '; “...Logic design....”
Get full text

Electronic

172

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

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

173

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

Published 2010

Subjects: '; “...Logic design....”
Get full text

Electronic

174

Computing System Reliability Models and Analysis /

by Xie, Min., Dai, Yuan-Shun., Poh, Kim-Leng.
Published 2004

Subjects: '; “...Mathematical logic....”
View fulltext via EzAccess

Electronic

175

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

Published 2010

Subjects: '; “...Logic design....”
View fulltext via EzAccess

Electronic

176

Judgement and the Epistemic Foundation of Logic

Published 2013

Subjects: '; “...Logic....”
Get full text

Electronic

177

Preference Change Approaches from Philosophy, Economics and Psychology /

Published 2009

Subjects: '; “...Logic....”
Get full text

Electronic

178

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

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

179

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

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

180

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

Published 2013

Subjects: '; “...Logic design....”
Get full text

Electronic

Narrow Search