Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues - Nikolaj Bjorner - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 24 februari 2012
Indien omslag en titel niet overeenkomen, is de titel correct

Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

Prijs
€ 61,49

Besteld in een afgelegen magazijn

Verwachte levering 31 dec. - 8 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.


457 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 24 februari 2012
ISBN13 9783642287169
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 446
Afmetingen 155 × 235 × 23 mm   ·   657 g
Taal en grammatica Frans  
Uitgever Bjorner, Nikolaj
Uitgever Voronkov, Andrei

Meer door Nikolaj Bjorner

Alles tonen