Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Ken McMillan, Aart Middeldorp, Andrei Voronkov (edición)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2013, c2013
Serier:(Lecture Notes in Computer Science)
Online adgang:Ver documento en línea
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
Beskrivelse
Fysisk beskrivelse:1 libro electrónico en línea (XIV, 794 p.)
1 recurso en línea
ISBN:978-3-642-45221-5
ISSN:1611-3349
Adgang:Licencias ilimitadas