Record Nr.

UNISA990003022350203316

Autore

International workshop, WoLLIV 2007 : <14; : 2007

Titolo

Logic, language information and computation : 14th. International workshop, WoLLIC 2007 : Rio de Janeiro, Brazil, July 2-5, 2007 : proceeding / Daniel Leivant, Ruy de Queiroz (eds.)

Pubbl/distr/stampa


Berlin : Springer, copyr. 2007

ISBN

978-3-540-73443-7

Descrizione fisica

X, 361 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 4576

Disciplina

005.131

Soggetti

elaborazione elettronica

linguaggi di programmazione

logica matematica

Collocazione

001 LNCS 4576

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia