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

Amy Felty

2 cilt bulundu.

Cilt sonuçları

Automated Deduction - CADE-25

Automated Deduction - CADE-25

Amy P. Felty, Aart Middeldorp · Springer

668 sayfa · 2015

Logic, symbolic and mathematical / Automatic theorem proving

CiltProceedings of the 2014 International Workshop on Logical Frameworks and Meta-LanguagesAmy Felty

Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-Languages

Amy Felty · Association for Computing Machinery

Sayfa sayısı yok · 2014

Kategori yok