Computational Logic
Publisher: Springer
Published: Oct 29, 2012
Format: paperback
Number of pages: 457
ISBN-13: 9783642636707
Notes: Source title: Computational Logic (Nato ASI Subseries F) (Nato ASI Subseries F: (165))