Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)

Name: Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. An EATCS Series, Band 16)
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Peter Padawitz

0 - Default Title

Product details

Binding:

Paperback

Edition:

1

Number of Pages:

340

Release Date:

2011-12-03

Publication Date:

2011-12-03

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3642738265

GPSR Manufacturer Reference:

[email protected]

Weight:

544 g

Buy on Amazon

Currently sold out