|
Records |
Links |
|
Type |
Dijkstra, E.W. |
|
Title |
On the Cruelty of Really Teaching Computer Science |
Type |
Journal Article |
|
Year |
1989 |
Publication |
Communications of the ACM |
Abbreviated Journal |
|
|
|
Volume |
32 |
Issue |
12 |
Pages  |
1398-1404 |
|
|
Keywords |
Dijkstra |
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
no |
|
|
Call Number |
refbase @ user @ Dijkstra1989 |
Serial |
7670 |
|
Permanent link to this record |
|
|
|
|
Publication |
Lorge, P.A.R.N.A.S.D. |
|
Title |
Software Aspects of Strategic Defense Systems |
Type |
Journal Article |
|
Year |
1985 |
Publication |
Communications of the ACM |
Abbreviated Journal |
|
|
|
Volume |
28 |
Issue |
12 |
Pages  |
1326-1335 |
|
|
Keywords |
Defense, SDIO, software |
|
|
Abstract |
- |
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
dk:ga.4 |
Approved |
no |
|
|
Call Number |
refbase @ user @ Lorge1985 |
Serial |
9105 |
|
Permanent link to this record |
|
|
|
Volume |
Cohen, J. |
|
|
Title |
Describing Prolog by Its Interpretation and Compilation |
Type |
Journal Article |
|
Year |
1985 |
Publication |
Communications of the ACM |
Abbreviated Journal |
|
|
|
Volume |
28 |
Issue |
12 |
Pages  |
1311-1324 |
|
|
Keywords |
Prolog, interpreter, compiler, logic programming |
|
|
Abstract |
Compilation and interpretation in PROLOG-posed in the context of their parralels in other languages-illustrate the advantages PROLOG presents in the area of symbolic processing. |
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
dk:lp.8 ar:ai1.prolog |
Approved |
no |
|
|
Call Number |
refbase @ user @ Cohen1985 |
Serial |
8901 |
|
Permanent link to this record |
|
|
|
Pages  |
Colmenauer, A. |
|
Title |
Prolog in 10 Figures |
Type |
Journal Article |
|
Year |
1985 |
Publication |
Communications of the ACM |
Abbreviated Journal |
|
|
|
Volume |
28 |
Issue |
12 |
Pages  |
1296-1310 |
|
|
Keywords |
Prolog, logic programming, infinite trees, conceptual, AI |
|
|
Abstract |
The theoretical model underlying logic programming in PROLOG is presented in 10 figures. |
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
dk:lp.1 ar:ai1.prolog |
Approved |
no |
|
|
Call Number |
refbase @ user @ Colmenauer1985 |
Serial |
8904 |
|
Permanent link to this record |
|
|
|
|
Abstract |
Curtis, B.; Krasner, H.; Iscoe, N. |
|
|
Title |
A Field Study of the Software Design Process for Large Systems |
Type |
Journal Article |
|
Year |
1988 |
Publication |
Communications of the ACM |
Abbreviated Journal |
|
|
|
Volume |
31 |
Issue |
11 |
Pages  |
1268-1287 |
|
|
Keywords |
Curtis, Krasner, Iscoe |
|
|
Abstract |
|
|
|
Address |
|
|
|
Corporate Author |
|
Thesis |
|
|
|
Publisher |
|
Place of Publication |
|
Editor |
|
|
|
Language |
|
Summary Language |
|
Original Title |
|
|
|
Series Editor |
|
Series Title |
|
Abbreviated Series Title |
|
|
|
Series Volume |
|
Series Issue |
|
Edition |
|
|
|
ISSN |
|
ISBN |
|
Medium |
|
|
|
Area |
|
Expedition |
|
Conference |
|
|
|
Notes |
|
Approved |
no |
|
|
Call Number |
refbase @ user @ CurtisKrasnerIscoe1988 |
Serial |
7635 |
|
Permanent link to this record |