Showing 1 - 2 of 2 for search: 'Walther, Christoph.', query time: 0.03s
by Walther, Christoph.
Published: Pitman ; Morgan Kaufmann Publishers, 1987
Description: 1 online resource (160 pages) : illustrations.
eBook
Save to List
Cover Image
Published: Springer, 2010
Description: 1 online resource (143 pages) : illustrations (some color).
eBook
Save to List
Cover Image

In Prospector

Request items from other Prospector libraries to be delivered to your local library for pickup.
Search Tools: Get RSS Feed — Email this Search — Save Search

Related Subjects

Artificial intelligence Automatic theorem proving Computer science