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

Christoph Schwarzweller

2 cilt bulundu.

Cilt sonuçları

AI Aspects in Reasoning, Languages, and Computation

AI Aspects in Reasoning, Languages, and Computation

Adam Grabowski, Roussanka Loukanova, Christoph Schwarzweller · Springer

113 sayfa · 2020

Kategori yok

CiltMizar verification of generic algebraic algorithmsChristoph Schwarzweller

Mizar verification of generic algebraic algorithms

Christoph Schwarzweller · Yayınevi bilinmiyor

164 sayfa · 1997

Kategori yok