Logic for Programming, Artificial Intelligence, and Reasoning : 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings /

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Robert Nieuwenhuis, Andrei Voronkov (edición)
Format: Knjiga
Jezik:angleščina
Izdano: Berlín, Alemania : Springer, 2001, c2001
Serija:(Lecture Notes in Computer Science)
Online dostop:Ver documento en línea
Oznake: Označite
Brez oznak, prvi označite!
Opis
Fizični opis:1 libro electrónico en línea (XV, 741 p.)
1 recurso en línea
ISBN:978-3-540-45653-7
ISSN:1611-3349
Dostop:Licencias ilimitadas