Author Search Results

1

Programming from first principles

Programming from first principles

by Richard Bornat
Published 1987

Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ

2

Proof and disproof in formal logic

Proof and disproof in formal logic An introduction for programmers

by Bornat, Richard
Published 2005

Other Authors: “...Richard Bornat...”

Institutions: Trung tâm Học liệu Trường Đại học Trà Vinh