Logic for Programming, Artificial Intelligence, And Reasoning:
12th International Conference, Lpar 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

by Andrei Voronkov, Geoff Sutcliffe

ISBN354030553X / 9783540305538 / 3-540-30553-X
PublisherSpringer-Verlag New York Inc
CountryGermany
LanguageEnglish
EditionSoftcover
List price$117.00
Buying Options

Found a mistake in this data?