Record Nr.

UNISA990003140520203316

Autore

International workshop, WoLLIC 2008 : <15.; : 2008

Titolo

Logic, language information and computation : 15th International workshop, WoLLIC 2008 : Edinburgh, UK, July 1-4, 2008 : proceedings / Wilfrid Hodges, Ruy de Queiroz (Eds.)

Pubbl/distr/stampa


Berlin : Springer [etc.], copyr. 2008

ISBN

978-3-540-69936-1

Descrizione fisica

VIII, 312 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 5110

Disciplina

005.131

Soggetti

Elaborazione elettronica - Congressi - Edinburgh - 2008

Linguaggi di programmazione - Congressi - Edinburgh - 2008

Logica matematica - Congressi - Edinburgh - 2008

Collocazione

006.3 LNAI 5110

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia