Analysing mathematical proofs (or reading between the lines)
John Wiley and Sons, Inc. Robinson, J.A. (1965) "A Machine Oriented Logic Based on the Resolution Principle".
Feb-1-1975
- Country:
- North America > United States
- New York (0.04)
- California > Los Angeles County
- Los Angeles (0.04)
- Europe > United Kingdom
- Scotland > City of Edinburgh > Edinburgh (0.04)
- North America > United States
- Industry:
- Law (0.68)
- Technology: