Record Nr.

UNISA990003095560203316

Autore

International conference, LPAR 2007 : <14. ; : 2007

Titolo

Logic for programming, artificial intelligence, and reasoning : 14th International conference, LPAR 2007 : Yerevan, Armenia, October 15-19, 2007 : proceedings / Nachum Dershowitz, Andrei Voronkov (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2007

ISBN

978-3-540-75558-6

Descrizione fisica

XIII, 562 p. : ill. ; 24 cm

Collana

Lecture notes in artificial intelligence ; 4790

Lecture notes in computer science

Disciplina

005.1

Soggetti

Elaboratori elettronici - Programmazione - Congressi - Yerevan - 2007

Logica matematica - Congressi - Yerevan - 2006

Collocazione

006.3 LNAI 4790

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia