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

Geoff Sutcliffe

3 cilt bulundu.

Cilt sonuçları

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Andrei Voronkov, Geoff Sutcliffe · Springer

Sayfa sayısı yok · 2008

Kategori yok

CiltAutomated Deduction - CADE 28André Platzer, Geoff Sutcliffe

Automated Deduction - CADE 28

André Platzer, Geoff Sutcliffe · Springer International Publishing AG

650 sayfa · 2021

Kategori yok

Computer softwareProceedings of the Nineteenth International Florida Artificial Intelligence Research Society ConferenceGeoff C. J. Sutcliffe

Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference

Geoff C. J. Sutcliffe · AAAI Press

906 sayfa · 2006

Computers / Computer software