CİLTLER LİSTELER GÜNLÜK AKTİVİTE İNCELEMELER İSTATİSTİK ÜYELER

Yükleniyor

Kitaplarını kaydet, raflarını kur, inceleme yaz, herkese açık listeler yap ve zevkine güvendiğin okurları takip et.

Keşfet

Ciltleri gez
Listeler
Günlük
İstatistik

Topluluk

Okur aktivitesi
Herkese açık listeler
İncelemeler
Üyeler

Bülten

Haftalık kitap önerileri al.

© 2026 Cilt. Tüm hakları saklıdır.

Gizlilik Şartlar

Yükleniyor

Yazar

Jeremy Avigad

3 cilt bulundu.

Cilt sonuçları

Mathematical Logic and Computation

Mathematical Logic and Computation

Jeremy Avigad · Cambridge University Press

Sayfa sayısı yok · 2022

Kategori yok

Interactive Theorem Proving

Interactive Theorem Proving

Jeremy Avigad, Assia Mahboubi · Springer

659 sayfa · 2018

Automatic theorem proving / Software engineering

CiltProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and ProofsJeremy Avigad

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs

Jeremy Avigad · Association for Computing Machinery

Sayfa sayısı yok · 2016

Kategori yok