Skip to Main Content (Press Enter)

Logo UNINSUBRIA
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze

UNI-FIND
Logo UNINSUBRIA

|

UNI-FIND

uninsubria.it
  • ×
  • Home
  • Corsi
  • Insegnamenti
  • Professioni
  • Persone
  • Pubblicazioni
  • Strutture
  • Terza Missione
  • Attività
  • Competenze
  1. Pubblicazioni

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Curatela
Data di Pubblicazione:
2008
Abstract:
Lecture Notes in Computer Science, Vol. 4460
Tipologia CRIS:
Cura di Atti, Volumi, Cataloghi
Elenco autori:
Aguzzoli, S; Ciabattoni, A; Gerla, Brunella; Manara, C; Marra, V.
Autori di Ateneo:
GERLA BRUNELLA
Link alla scheda completa:
https://irinsubria.uninsubria.it/handle/11383/16884
  • Accessibilità
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 26.5.1.0