Catálogo Bibliográfico FCT/UNL catalog

Normal view MARC view ISBD view

Automation of reasoning : classical papers on computational logic 1957-1966 / ed.lit. Jorg Siekmann and Graham Wrightson. - New York : Springer-Verlag , 1983 . - XII, 525 p. : il. ; 26 cm. - (Symbolic computation) ; 1

ISBN 3-540-12043-2

Inteligência artificial

LCC Q335

Print
Save record
More searches