winkelwagen
print pagina
Wetenschappen Exacte wetenschappen/natuurwetenschappen Wiskunde algemeen

 

Boekhandel Douwes Den Haag

Computer Science Foundations and Applied Logic

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic: Proof Assistants and Their Applications in Mathematics and Computer Science

 

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Er is geen levertijd bekend.

€ 91,00

Informeer eerst of het boek leverbaar is voor u bestelt.

Beschrijving Computer Science Foundations and Applied Logic: Proof Assistants and Their Applications in Mathematics and Computer Science

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

ISBN
9783031851896
Pagina's
390
Verschenen
Serie
Computer Science Foundations and Applied Logic
Rubriek
Wiskunde algemeen
Druk
1
Uitvoering
Hardback
Taal
Engels
Uitgever
Springer International Publishing AG

Multivariable Calculus Set Free

Without sacrificing academic rigor, Multivariable Calculus Set Free offers an engaging, storytelling style that helps readers solidify their understanding of an otherwise difficult subject, written by an author with over three decades of experience working with calculus students.

Multivariable Calculus Set Free

Without sacrificing academic rigor, Multivariable Calculus Set Free offers an engaging, storytelling style that helps readers solidify their understanding of an otherwise difficult subject, written by an author with over three decades of experience working with calculus students.

Games on Graphs

This accessible tutorial reference by a multidisciplinary team of experts surveys efficient algorithms for analysing different types of games on graphs and applications in optimisation, reinforcement learning, model theory, and set theory.

Wiskunde algemeen

terug meer