BibSonomy
::
author
::
tag
user
group
author
concept
BibTeX key
search:all
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
myFriends
myRelations
mySearch
myPDF
myDuplicates
myBibTeX
login
·
register
bookmarks
publications
(29)
previous | 1
2
3
|
next
On program synthesis knowledge
C.C.
Green
and D.R.
Barstow
Artificial Intelligence
10
241-279 (1978)
to
imported
by
ip
and
1 other person
on 2007-11-21 11:43:07
|
BibTeX
Automated Programmering: The Programmer's Assistant
W.
Teitelman
Interactive Programming Environments
232-239 (1984)
to
imported
by
kimmens
on 2007-09-26 11:57:26
|
BibTeX
Interactive Programming Environments
D. R.
Barstow
and H. E.
Shrobe
and E.
Sandewall
(eds.).
(1984)
to
imported
by
kimmens
on 2007-09-26 11:57:26
|
BibTeX
Artificial Intelligence and Software Engineering
D.
Barstow
ACM
(1987)
to
imported
by
kimmens
and
2 other people
on 2007-09-26 11:57:26
|
BibTeX
Artificial Intelligence and Software Engineering
D.
Barstow
Proceedings pf 9th International Conference on Software Engineering
200--211 (1987)
to
see
by
charoy
and
2 other people
on 2007-06-19 16:03:11
|
BibTeX
Knowledge Based Program Construction
D.
Barstow
(1979)
to
de
programmes
synthe`se
by
charoy
on 2007-06-19 16:03:11
|
BibTeX
On Convergence Toward a Database of Program Transformations.
David R.
Barstow
ACM Trans. Program. Lang. Syst.
7
1-9 (1985)
to
dblp
by
dblp
on 2006-04-03 00:00:00
|
URL
|
BibTeX
Baseball Seasons and Dog Years.
David R.
Barstow
ICSE
535-542 (1999)
to
dblp
by
dblp
on 2006-03-14 00:00:00
|
URL
|
BibTeX
Overview of a Display-Oriented Editor for INTERLISP.
David R.
Barstow
IJCAI
927-929 (1981)
to
dblp
by
dblp
on 2005-02-15 00:00:00
|
URL
|
BibTeX
Some Rules For The Automatic Synthesis Of Programs.
C.
Cordell Green
and David R.
Barstow
IJCAI
232-239 (1975)
to
dblp
by
dblp
on 2005-02-15 00:00:00
|
URL
|
BibTeX
previous | 1
2
3
|
next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
dblp
de
imported
programmes
see
synthe`se