Finding Unity in Computational Logic

Contributors

Dale Miller

Conference

Publication date: April 2010

Publication date (Print): April 2010

Pages: 1-13

Affiliations

INRIA Saclay – Île-de-France and LIX/École polytechnique

Route de Saclay, 91128 PALAISEAU Cedex, France

Article

DOI: 10.14236/ewic/VOCS2010.3

SO-VID: 204ce33e-3a60-4673-a7f0-37a321b5bede

Copyright statement: © Dale Miller. Published by BCS Learning and Development Ltd. ACM-BCS Visions of Computer Science 2010, The University of Edinburgh

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: ACM-BCS Visions of Computer Science 2010

Conference acronym: VOCS

Conference number:

Conference location: The University of Edinburgh

Conference date: 14 - 16 April 2010

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: ACM-BCS Visions of Computer Science 2010

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VOCS2010.3

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing