Studiebog

Logic for Programming, Artificial Intelligence, and Reasoning

- 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Forfatter: info mangler

Bog

Format
Bog, paperback
Engelsk

Indgår i serie
Lecture Notes in Computer Science

Normalpris: kr. 414,95

Medlemspris: kr. 394,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: 8-12 hverdage (Sendes fra fjernlager)
Forventet levering: 23-07-2024
Kan pakkes ind og sendes som gave
Split betalingen op med

Beskrivelse

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Sidetal564
Udgivelsesdato08-10-2007
ISBN139783540755586
Forlag Springer-verlag Berlin And Heidelberg Gmbh & Co. K
FormatPaperback

Størrelse og vægt

10 cm

15,5 cm

23,5 cm

Logic for Programming, Artificial Intelligence, and Reasoning

- 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Findes i disse kategorier...

Se andre, der handler om...