Automation of Mathematical Induction as part of the History of Logic
Moore, J Strother, Wirth, Claus-Peter
–arXiv.org Artificial Intelligence
The extensive and sophisticated subject of proof planning is not especially related to induction, but addresses automated theorem proving in general. We cannot cover it here and have to refer the reader to the standard publications on the subject.
arXiv.org Artificial Intelligence
Jul-28-2014
- Country:
- Asia
- Japan > Honshū
- Chūbu > Toyama Prefecture
- Toyama (0.04)
- Tōhoku (0.04)
- Chūbu > Toyama Prefecture
- Middle East > Israel
- Jerusalem District > Jerusalem (0.04)
- Japan > Honshū
- Europe
- Ireland (0.04)
- United Kingdom > Scotland
- City of Edinburgh > Edinburgh (0.04)
- Netherlands > South Holland
- Dordrecht (0.04)
- Poland > Lower Silesia Province
- Wroclaw (0.04)
- Belgium > Flanders
- Flemish Brabant > Leuven (0.04)
- Italy
- Piedmont > Turin Province
- Turin (0.04)
- Trentino-Alto Adige/Südtirol > Trentino Province
- Trento (0.04)
- Piedmont > Turin Province
- France
- Auvergne-Rhône-Alpes > Isère
- Grenoble (0.04)
- Brittany > Ille-et-Vilaine
- Rennes (0.04)
- Auvergne-Rhône-Alpes > Isère
- Switzerland > Fribourg
- Fribourg (0.04)
- Denmark > Capital Region
- Copenhagen (0.04)
- Spain (0.04)
- Germany
- Baden-Württemberg > Karlsruhe Region
- Karlsruhe (0.04)
- Bremen > Bremen (0.04)
- Hesse > Darmstadt Region
- Lower Saxony > Gottingen (0.04)
- North Rhine-Westphalia > Upper Bavaria
- Munich (0.04)
- Rhineland-Palatinate > Kaiserslautern (0.04)
- Saarland > Saarbrücken (0.04)
- Saxony > Leipzig (0.04)
- Baden-Württemberg > Karlsruhe Region
- Hungary > Budapest
- Budapest (0.04)
- Austria > Vienna (0.04)
- Sweden > Stockholm
- Stockholm (0.04)
- North America
- Canada > Quebec
- Montreal (0.04)
- United States
- Pennsylvania > Allegheny County
- Pittsburgh (0.04)
- California
- San Francisco County > San Francisco (0.13)
- San Mateo County > Menlo Park (0.04)
- Santa Clara County
- Massachusetts
- Louisiana > Lincoln Parish
- Ruston (0.04)
- Michigan > Wayne County
- Detroit (0.04)
- Georgia > Fulton County
- Atlanta (0.04)
- Florida > Miami-Dade County
- Miami Beach (0.04)
- Rhode Island > Providence County
- Providence (0.04)
- New York
- Saratoga County > Saratoga Springs (0.04)
- Tompkins County > Ithaca (0.04)
- Colorado > Denver County
- Denver (0.04)
- Nevada > Clark County
- Las Vegas (0.04)
- North Carolina > Orange County
- Chapel Hill (0.04)
- New Jersey > Middlesex County
- New Brunswick (0.04)
- Texas > Travis County
- Austin (0.14)
- Pennsylvania > Allegheny County
- Canada > Quebec
- Oceania
- Australia > New South Wales
- Sydney (0.04)
- Samoa (0.04)
- Australia > New South Wales
- Asia
- Genre:
- Research Report (1.00)
- Industry:
- Information Technology > Security & Privacy (0.67)
- Technology: