Automation of Reasoning 1

Automation of Reasoning 1

Jörg Siekmann (Editor); G. Wrightson (Editor)

$99.00
$25.98
Adding to cart… The item has been added
Author
Jörg Siekmann (Editor); G. Wrightson (Editor)
Publish Date
1983-04-01
Subtitle
Classical Papers on Computational Logic 1957-1966
Book Type
Hardcover
Number of Pages
xii, 528
Publisher Name
950
ISBN-10
3540120432
ISBN-13
9783540120438
citemno
262582
SKU
9783540120438

You Might Also Like

!