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

Nicola Olivetti

3 cilt bulundu.

Cilt sonuçları

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Nicola Olivetti · Springer

245 sayfa · 2007

Automatic theorem proving / Congresses

Automated Reasoning

Automated Reasoning

Nicola Olivetti, Ashish Tiwari · Springer

590 sayfa · 2016

Automatic theorem proving / Artificial intelligence / Logic programming

Goal-directed proof theory

Goal-directed proof theory

D.M. Gabbay, N. Olivetti, Dov M. Gabbay, Nicola Olivetti · Springer

276 sayfa · 2000

Proof theory