L3D Home

L3D's Literature Database

Home |  Show All |  Simple Search |  Advanced Search
Quick Search:
1–1 of 1 record found matching your query (RSS):
toggle visibility Search & Display Options
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
  Author (up) Title Year Publication Volume Pages Links
Millo, R.A.D.; Lipton, R.J.; Perlis, A.J. Social Processes and Proofs of Theorems and Programs 1979 Communications of the ACM 22 271-280 details   openurl
Select All    Deselect All << 1 >>
List View
 | 
Citations
 | 
Details
   print
toggle visibility
Save Citations:
Export Records:
Home CQL Search  |  Library Search  |  Show Record  |  Extract Citations Help