1.

Record Nr.

UNISA990002979430203316

Autore

International workshop TYPES 2004 : <2004 ;  : Jouy-en-Josas>

Titolo

Types for proofs and programs : International workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre... [et al.] (eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2006

ISBN

3-540-31428-8

Descrizione fisica

VIII, 272 p. : ill. ; 23 cm

Collana

Lecture notes in computer science ; 3839

Disciplina

511.30285

Soggetti

Logica matematica - Congressi - Jouy-en-Josas - 2004

Collocazione

001 LNCS 3839

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNINA9910417986403321

Titolo

Soundings : a journal of politics and culture

Pubbl/distr/stampa

London : , : Lawrence & Wishart, , [1995]-

ISSN

1741-0797

Disciplina

306/.05

Soggetti

Social history

Politics and culture

Capitalism

Social movements

Radicalism

Periodicals.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Periodico

Note generali

Refereed/Peer-reviewed

Some issues also have a theme title.