Analysis and synthesis of logics

Pas de texte intégral

Ouvrage publié en tant qu’auteur, traducteur, etc. (Ouvrages)

Carnielli, Walter; Coniglio, Marcelo; GABBAY, Dov M. et al.

2008 • Springer

Permalien
https://hdl.handle.net/10993/15866

Aucun document disponible.

Disciplines :

Sciences informatiques

Identifiants :

UNILU:UL-BOOK-2009-041

Auteur, co-auteur :

Carnielli, Walter

Coniglio, Marcelo

Gouveia, Paula

Sernadas, Cristina

Langue du document :

Anglais

Titre :

Analysis and synthesis of logics

Date de publication/diffusion :

2008

Maison d'édition :

Springer

ISBN/EAN :

9781402067815

Collection et n° de collection :

Applied Logic Series 35

Disponible sur ORBilu :

depuis le 10 mars 2014

Nombre de vues

87 (dont 0 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)