BibSonomy
::
bibtex
::
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
publications
(1)
previous | 1 | next
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 | next
Showing 10 items per page. Show
10
,
25
,
50
,
100
items per page.
tags
dblp
::
::
