Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,206,646 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.
2018
2018
MERANCANG SISTEM INFORMASI ADMINISTRASI RAWAT JALAN PADA BIDAN NUR INDAH NOVITASARI, AM. KEB. MENGGUNAKAN UNIFIELD MODELING LANGUAGE
Yudinarya Pradhieka
,
S. Samsinar
2018
Corpus ID: 164357055
Bidan merupakan sebuah institusi kesehatan yang menyediakan jasa khususnya dalam proses pelayanan kehamilan. Bidan Nur Indah…
Expand
2016
2016
Agroflorestando o PA Água Branca para o fortalecimento da agricultura familiar ecológica em Manaus, AM
Flávia Furlan Kato
,
Paula Ponteli Fernandes Costa
,
E. Brosler
,
Sidney Dantas Fogassa
,
Raimundo Rodrigues de Jesus
,
José Augusto Rodrigues Pinto
2016
Corpus ID: 163752735
O projeto “Agroflorestando o PA Agua Branca” originou-se da articulacao entre o Museu da Amazonia (MUSA) e o Projeto de…
Expand
2016
2016
Melhoria da Prevenção e Detecção Precoce do Câncer de Colo de Útero e Câncer de Mama na UBS/USF Dr. Albino Couto, São Gabriel da Cachoeira, AM
R. Riera
2016
Corpus ID: 194722092
2015
2015
Physiology and genetic architecture of traits associated with cadmium tolerance and accumulation in Populus nigra L.
Valentina Iori
,
M. Gaudet
,
+7 authors
M. Sabatti
Trees
2015
Corpus ID: 254028177
Heavy metal tolerance and accumulation suggest that Populus nigrais suitable for phytoremediation. QTL mapping revealed the…
Expand
2014
2014
An Argumentation-Based Framework to Address the Attribution Problem in Cyber-Warfare
Paulo Shakarian
,
Gerardo I. Simari
,
Geoffrey Moores
,
S. Parsons
,
Marcelo A. Falappa
arXiv.org
2014
Corpus ID: 11949376
Attributing a cyber-operation through the use of multiple pieces of technical evidence (i.e., malware reverse-engineering and…
Expand
2013
2013
Publicity and the Courts of Classical Athens
J. Aiken
2013
Corpus ID: 32518906
2012
2012
INFLUÊNCIA DO MATERIAL PARTICULADO (PM2.5) DE QUEIMADAS E VARIÁVEIS METEOROLÓGICAS NA MORBIDADE RESPIRATÓRIA DE CRIANÇAS EM MANAUS, AM
V. S. Andrade
,
P. Artaxo
,
S. de Souza Hacon
,
Cleber Nascimento do Carmo
2012
Corpus ID: 163506591
O estudo teve como objetivo investigar a relacao entre a exposicao ao material particulado fino (PM2.5) emitido em queimadas e as…
Expand
2011
2011
Tecnologia social e extensão universitária: análise da organização do trabalho da ARPA em Manaus/AM
A. L. Coelho
2011
Corpus ID: 149424205
A crise ambiental decorrente da logica produtiva capitalista, que foi materializada nas atitudes destrutivas do homem em relacao…
Expand
2007
2007
THE OBESITY AND ASTHMA EPIDEMICS IN CHILDREN
Catherine Malina
,
J. Balbus
2007
Corpus ID: 27742771
Childhood obesity and asthma rates in the United States have soared over the past three decades, raising both human suffering and…
Expand
1986
1986
Competency for Execution: Problems in Law and Psychiatry
B. Ward
1986
Corpus ID: 56240776