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

Otmane Ait Mohamed

4 cilt bulundu.

Cilt sonuçları

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Otmane Ait Mohamed, César Munoz, Sofiène Tahar · Springer

330 sayfa · 2008-10-04

Computers

CiltVérification de l'équivalence du [pi]-calcul dans HOLOtmane Ait-Mohamed

Vérification de l'équivalence du [pi]-calcul dans HOL

Otmane Ait-Mohamed · Yayınevi bilinmiyor

32 sayfa · 1994

Kategori yok

CiltLA THEORIE DU PI-CALCUL DANS LE SYSTEME HOLOTMANE.. AIT MOHAMED

CiltVérification de l'équivalence du [pi]-calcul dans HOL [Verification of [pi]-calculus equivalence in HOL]Institut National de Recherche en Informatique et en Automatique, Otmane Ait-Mohamed

Vérification de l'équivalence du [pi]-calcul dans HOL [Verification of [pi]-calculus equivalence in HOL]

Institut National de Recherche en Informatique et en Automatique, Otmane Ait-Mohamed · Yayınevi bilinmiyor

32 sayfa · 1994

Kategori yok

LA THEORIE DU PI-CALCUL DANS LE SYSTEME HOL

OTMANE.. AIT MOHAMED · Yayınevi bilinmiyor

146 sayfa · 1996

Kategori yok