Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Techniques -- Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz...”