Related Books

Metamath: A Computer Language for Mathematical Proofs
Language: en
Pages: 250
Authors: Norman Megill
Categories: Computers
Type: BOOK - Published: 2019 - Publisher: Lulu.com

DOWNLOAD EBOOK

Metamath is a computer language and an associated computer program for archiving, verifying, and studying mathematical proofs. The Metamath language is simple a
Intelligent Computer Mathematics
Language: en
Pages: 263
Authors: Fairouz Kamareddine
Categories: Computers
Type: BOOK - Published: 2021-07-20 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania,
Computer Aided Verification
Language: en
Pages: 955
Authors: Alexandra Silva
Categories: Computers
Type: BOOK - Published: 2021-07-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, C
Theoretical Aspects of Computing – ICTAC 2023
Language: en
Pages: 451
Authors: Erika Ábrahám
Categories: Computers
Type: BOOK - Published: 2023-12-24 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, duri
Advances in Computer Games
Language: en
Pages: 176
Authors: Michael Hartisch
Categories: Computer chess
Type: BOOK - Published: 2024 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 2