Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical Sciences (1934-1990)
1984 / 10 Vol. 312; Iss. 1522
Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Deductive Learning [and Discussion]
L. G. Valiant and J. C. ShepherdsonVolume:
312
Language:
english
Journal:
Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences
DOI:
10.2307/37444
Date:
October, 1984
File:
PDF, 865 KB
english, 1984