Overview

Full Product Details

Author:   Frithjof Dau
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2003 ed.
Volume:   2892
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.30cm
Weight:   0.720kg
ISBN:  

9783540206071

ISBN 10:   3540206078
Pages:   216
Publication Date:   24 November 2003
Audience:   General/trade ,  College/higher education ,  Professional and scholarly ,  General ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Start.- 1 Introduction.- 2 Basic Definitions.- Alpha.- 3 Overview for Alpha.- 4 Semantics for Nonexistential Concept Graphs.- 5 Calculus for Nonexistential Concept Graphs.- 6 Soundness and Completeness.- Beta.- 7 Overview for Beta.- 8 First Order Logic.- 9 Semantics for Existential Concept Graphs.- 10 Calculus for Existential Concept Graphs.- 11 Syntactical Equivalence to FOL.- 12 Summary of Beta.- 13 Concept Graphs without Cuts.- 14 Design Decisions.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions