Book annotation not available for this title. Title: Logic for Programming, Artificial Intelligence, and Reasoning Author: Cervesato, Iliano (EDT)/ Veith, Helmut (EDT)/ Voronkov, Andrei (EDT) Publisher: Springer Verlag Publication Date: 2008/12/01 Number of Pages: 714 Binding Type: PAPERBACK Library of Congress: Additional Details \N BINDING : PAPERBACK BRAND : CERVESATO, ILIANO (EDT)/ VEITH, LANGUAGE : ENG PUBLISHER : SPRINGER VERLAG SKU : 9783540894384 UPC : 9783540894384
|