Yazar

Silvio Ghilardi

19 cilt bulundu.

Cilt sonuçları

Sheaves, Games, and Model Completions

Silvio Ghilardi, M. Zawadowski · Springer Science & Business Media

246 sayfa · 2013-04-17

Philosophy

Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità

Silvio Ghilardi · Polimetrica s.a.s.

176 sayfa · 2004

Mathematics

CiltModel Completions of Equational Theories Arising from LogicSilvio Ghilardi, Marek Zawadowski

Model Completions of Equational Theories Arising from Logic

Silvio Ghilardi, Marek Zawadowski · Yayınevi bilinmiyor

129 sayfa · 1995

Kategori yok

CiltFrom Non-disjoint Combination to Satisfiability and Model Checking of Infinite State SystemsBilinmeyen yazar

From Non-disjoint Combination to Satisfiability and Model Checking of Infinite State Systems

Bilinmeyen yazar · Yayınevi bilinmiyor

Sayfa sayısı yok · 2007

Kategori yok

CiltSulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionistaSilvio Ghilardi, Gian Carlo Meloni

Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista

Silvio Ghilardi, Gian Carlo Meloni · Yayınevi bilinmiyor

12 sayfa · 1983

Kategori yok

CiltRelational and Partial Variable Sets and Basic Predicate LogicSilvio Ghilardi, G. Meloni

Relational and Partial Variable Sets and Basic Predicate Logic

Silvio Ghilardi, G. Meloni · Yayınevi bilinmiyor

40 sayfa · 1994

Kategori yok

CiltUnification and Projectivity in Propositional LogicSilvio Ghilardi

Unification and Projectivity in Propositional Logic

Silvio Ghilardi · Yayınevi bilinmiyor

46 sayfa · 1996

Kategori yok

CiltA New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal LogicsFranz Baader, Silvio Ghilardi, Cesare Tinelli

A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics

Franz Baader, Silvio Ghilardi, Cesare Tinelli · Yayınevi bilinmiyor

Sayfa sayısı yok · 2003

Kategori yok

CiltConnecting Many-sorted TheoriesFranz Baader, Silvio Ghilardi

Connecting Many-sorted Theories

Franz Baader, Silvio Ghilardi · Yayınevi bilinmiyor

Sayfa sayısı yok · 2005

Kategori yok

CiltLTL Over Description Logic AxiomsFranz Baader, Silvio Ghilardi, Carsten Lutz

LTL Over Description Logic Axioms

Franz Baader, Silvio Ghilardi, Carsten Lutz · Yayınevi bilinmiyor

Sayfa sayısı yok · 2008

Kategori yok

CiltGrothendieck Topologies on Finite AlgebrasSilvio Ghilardi, Marek W. Zawadowski

Grothendieck Topologies on Finite Algebras

Silvio Ghilardi, Marek W. Zawadowski · Yayınevi bilinmiyor

21 sayfa · 1997

Kategori yok

CiltConstructive Canonicity in Non-classical LogicsS. Ghilardi, G. Meloni

Constructive Canonicity in Non-classical Logics

S. Ghilardi, G. Meloni · Yayınevi bilinmiyor

39 sayfa · 1997

Kategori yok

CiltS. ConsadoriSilvio Consadori, Mario Ghilardi

S. Consadori

Silvio Consadori, Mario Ghilardi · Yayınevi bilinmiyor

8 sayfa · 1975

Kategori yok

CiltSulle relazioni di copertura nel modello dei filtri di una teoria propostizionale intuizionistaSilvio Ghilardi, Gian Carlo Meloni

Sulle relazioni di copertura nel modello dei filtri di una teoria propostizionale intuizionista

Silvio Ghilardi, Gian Carlo Meloni · Yayınevi bilinmiyor

12 sayfa · 1983

Kategori yok

CiltLogica e deduzione automatica per le applicazioniSilvio Ghilardi, Silvio Ranise

Logica e deduzione automatica per le applicazioni

FictionLa vita è la ricerca dell'altro che siamo noiSilvio Leoni

La vita è la ricerca dell'altro che siamo noi

Silvio Leoni · Ulivo Edizioni

83 sayfa · 2010

Fiction

CiltNuovo elogioSilvio Craviotto

Nuovo elogio

Silvio Craviotto · Yayınevi bilinmiyor

Sayfa sayısı yok · 1980

Kategori yok

CiltPensieriSilvio Pellico

Pensieri

Silvio Pellico · Yayınevi bilinmiyor

96 sayfa · 1999

Kategori yok

CiltRicordo di Carlo GallavottiSilvio M. Medaglia

Ricordo di Carlo Gallavotti

Silvio M. Medaglia · Yayınevi bilinmiyor

Sayfa sayısı yok · 1993

Kategori yok