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

Spremljeno u:
Bibliografski detalji
Glavni autor: Robert Nieuwenhuis, Andrei Voronkov (edición)
Format: Knjiga
Jezik:engleski
Izdano: Berlín, Alemania : Springer, 2001, c2001
Serija:(Lecture Notes in Computer Science)
Online pristup:Ver documento en línea
Oznake: Dodaj oznaku
Bez oznaka, Budi prvi tko označuje ovaj zapis!

Slični predmeti: Logic for Programming, Artificial Intelligence, and Reasoning :