Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 van76
%A vanEmden, M.H.
%A Kowalski, R.A.
%D 1976
%J Journal of the ACM
%K sem
%N 4
%T The Semantics of Predicate Logic as a Programming Language
%V 23
@article{van76,
added-at = {2006-03-09T15:13:30.000+0100},
author = {vanEmden, M.H. and Kowalski, R.A.},
biburl = {https://www.bibsonomy.org/bibtex/289bccb401ec6b6beaa6dffbfffa6e833/diana},
description = {The big one},
interhash = {e4fe030291e2d2fe9ff38f9cff1d9359},
intrahash = {89bccb401ec6b6beaa6dffbfffa6e833},
journal = {Journal of the ACM},
keywords = {sem},
number = 4,
timestamp = {2006-03-09T15:13:30.000+0100},
title = {The Semantics of Predicate Logic as a Programming Language},
volume = 23,
year = 1976
}