Prikaz rezultata 1 – 1 od 1 za pretraživanje 'Hurd, Joe', vrijeme pretraživanja: 0,12s Detaljiziraj rezultate
1
Theorem Proving in Higher Order Logics
od Hurd, Joe, Melham, Tom
Izdano 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Preuzmi cijeli tekst
Spremi u popis
Spremljeno u:
Alati za pretraživanje: Preuzmi RSS sažetak — Pošalji ovo pretraživanje e-poštom