Studies in mechanical verification of mathematical proofs
M.P.J. Ruys
Studies in mechanical verification of mathematical proofs
Hardback110 pagina’sNederlands
In het kort
Bibliografisch
ISBN-139789090126449
Editie1
TaalNederlands dut
Pagina’s110
GeïllustreerdNee
Uitgave
Vorm & inhoud
ProductvormHardback BB
SamenstellingLos product
Classificatie
NUR (hoofd)Wiskunde algemeen 918
NUR (alle)918 Wiskunde algemeen
Medewerkers
Auteur A01M.P.J. Ruys
Herkomst
Werk-id (NSTC)501094456
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
De wereld van wiskunde in zes kernideeën
De wereld van wiskunde in zes kernideeën
Introduction to Optimization for Economists
Exercise Solutions for An Introduction to Optimization for Economists
Het Laatste Axioma Bestaat Niet
Een wereld van kansen met Python
Statistiek begrijpen zonder formules
Het bewijs van Collatz of Alles gaat naar Nul. Deel 1 en Deel 2.
Leerboek
Leerboek
NSTC 501094456 · CB-relatie 8237341 · Bijgewerkt 6 augustus 2026