BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

richard j boulton

2 cilt bulundu.

Cilt sonuçları

Automatic theorem provingA tool to support formal reasoning about computer languagesRichard J. Boulton

A tool to support formal reasoning about computer languages

Richard J. Boulton · University of Cambridge, Computer Laboratory

21 sayfa · 1996

Programming languages (Electronic computers) / Automatic theorem proving

CiltTheorem Proving in Higher Order LogicsRichard J. Boulton, Paul B. Jackson

Theorem Proving in Higher Order Logics

Richard J. Boulton, Paul B. Jackson · Springer London, Limited

Sayfa sayısı yok · 2003

Kategori yok