Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,360,306 papers from all fields of science
Search
Sign In
Create Free Account
Automated Mathematician
Known as:
AM
The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Douglas Lenat in Lisp, and in 1977 led to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Broader (1)
Artificial intelligence
Automated theorem proving
Computer-assisted proof
Discovery system
Eurisko
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Living as Languaging: Distributed Knowledge in Living Beings
A. Markoš
,
Jana Švorcová
,
J. Lhotský
Cognition Beyond the Brain
2017
Corpus ID: 2215035
We trace life at different levels of organization and/or description: from protein ecosystems in the cell up to the cohabitation…
Expand
2016
2016
Optic Neuritis in Acute Neuroborreliosis (Lyme Disease) in the U.S.-Mexican Border: Case Report *
Ihtesham A Qureshi
,
M. Maldonado
,
G. Rodriguez
,
S. Cruz-Flores
,
A. Maud
2016
Corpus ID: 34364019
Objective: We describe a patient diagnosed with acute neuroborreliosis presenting with anterior optic neuritis (papillitis) in a…
Expand
2013
2013
Publicity and the Courts of Classical Athens
J. aiken
2013
Corpus ID: 32518906
2013
2013
Unidroit Principles as a Source for Global Sales Law
H. Gabriel
2013
Corpus ID: 55811685
THE germination period for the United Nations Convention on Contracts for the International Sale of Goods (CISG) was forty-five…
Expand
2011
2011
Laserterapia de baixa intensidade na expressão de colágeno após lesão muscular cirúrgica
Flávia Fonseca Moreira
,
E. Oliveira
,
F. Barbosa
,
Júlio Guilherme Silva
2011
Corpus ID: 73248945
The laser therapy is a procedure utilized at long scale in the musculoskeletal injuries, due its anti-inflammatory and reparatory…
Expand
Review
2010
Review
2010
A Survey of Patients Who Were Admitted for Life-Sustaining Therapy in Nationwide Medical Institutions
J. Bae
,
J. Y. Gong
,
Jae Ran Lee
,
D. Heo
,
Y. Koh
2010
Corpus ID: 72624155
Background: The study focused on figuring out the present status and distribution of the underlying diseases of Korean terminally…
Expand
Review
2008
Review
2008
Presumed Consent to Organ Donation: Its Rise and Fall in the United States
D. Orentlicher
2008
Corpus ID: 71132807
As the gap between the need for organ transplants and the supply of organs has increasingly widened, many scholars have urged the…
Expand
2000
2000
Ocorrencia de dois citotipos em Serrasalmus spilopleura Kner, 1858 (Characiformes, Serrasalmidae) da regiao de confluencia dos rios Negro e Solimoes, Amazonas, Brasil
Celeste Mutuko Nakayama
,
J. I. R. Porto
,
Eliana Feldberg
2000
Corpus ID: 89175170
The karyotype of Serrasalmus spilopleura from the Central Amazon is reported here for the first time. All analized individuals…
Expand
1986
1986
Competency for Execution: Problems in Law and Psychiatry
B. Ward
1986
Corpus ID: 56240776
1977
1977
La educación como conquista: Empresa franciscana en México
José María Kazuhiro Kobayashi
1977
Corpus ID: 222371197
Transcurridos ya casi cinco siglos, aun en nuestros dias el tema "descubrimiento, conquista y colonizacion de America" sigue…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE