J. A. Robinson. Theorem-proving on the computer. Journal of the Association for Computing Machinery, vol. 10 (1963), pp. 163–174.

1966 ◽  
Vol 31 (3) ◽  
pp. 514-515
Author(s):  
David Luckham
Keyword(s):  
Theorem Proving ◽  
Computing Machinery ◽  
Computer Journal

Modal Theorem Proving,

1986 ◽  
Author(s):  
Martin Abadi ◽  
Zohar Manna
Keyword(s):  
Theorem Proving

Panorama do Ensino de Engenharia de Software em Cursos de Graduação Focado em Teste de Software: Uma Proposta de Aprendizagem Baseada em Jogos

RENOTE ◽  
2011 ◽  
Vol 9 (2) ◽  
Author(s):  
Tarcila Gesteira da Silva ◽  
Felipe Martins Müller ◽  
Giliane Bernardi
Keyword(s):  
Computing Machinery

Este  trabalho apresenta um panorama do ensino de engenharia de software em cursos de graduação na área de computação com base nos currículos de referência da Sociedade Brasileira de Computação (SBC) e da  Association for Computing Machinery(ACM), focando no conteúdo referente ao tópico de teste de software. Com base neste panorama é apresentada uma proposta de aprendizagem baseada em jogos para apoio ao ensino-aprendizagem de estratégias de teste de software.

The 10th IJCAR automated theorem proving system competition – CASC-J10

2021 ◽  
pp. 1-15
Author(s):  
Geoff Sutcliffe
Keyword(s):  
Theorem Proving ◽  
Classical Logic ◽  
Automated Theorem Proving ◽  
Fully Automatic

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J10 was the twenty-fifth competition in the CASC series. Twenty-four ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

scholarly journals ACM-W: global growth for a local impact

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Jodi Tims ◽  
Reyyan Ayfer
Keyword(s):  
Computer Science ◽  
Gender Equality ◽  
Global Impact ◽  
Computing Machinery ◽  
Scientific Organizations ◽  
Participation Of Women ◽  
Full Participation ◽  
History Of ◽  
Local Impact ◽  
Global Growth

Abstract ACM-W is the community within the Association for Computing Machinery (ACM) that is dedicated to issues of gender equality in Computer Science. ACM-W works globally to support, celebrate and advocate for the full participation of women in all aspects of the computing field. This article presents a brief history of ACM-W with an emphasis on the global growth of the organization. A summary of the primary programs of ACM-W is provided to further highlight the global impact of our work. Also included are examples of how ACM-W is partnering with other computing and scientific organizations to realize greater impact in the arena of gender equality.

Sign in / Sign up

Export Citation Format

Share Document