+612 9045 4394
 
CHECKOUT
Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings :  Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings - Karl Hans Blasius

Sorts and Types in Artificial Intelligence : Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings

Workshop, Eringerfeld, Frg, April 24-26, 1989. Proceedings

By: Karl Hans Blasius (Editor), Ulrich Hedtstuck (Editor), Claus-Rainer Rollinger (Editor)

Paperback Published: August 1990
ISBN: 9783540523376
Number Of Pages: 307

Share This Book:

Paperback

$135.51
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 business days

Contents: Introduction.- Sorts and Types in Logic, Theorem Proving and Logic Programming.- Sorts and Types in Knowledge Representation Including Qualitative Reasoning.- Sorts and Types in Natural Language (Understanding) Systems.- List of Contributors.

Introduction
Sorts and Types in Logic, Theorem Proving and Logic Programming
Sorts and Types in Knowledge Representation Including Qualitative Reasoning
Sorts and Types in Natural Language (Understanding) Systems
List of Contributors
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540523376
ISBN-10: 3540523375
Series: Lecture Notes in Computer Science / Lecture Notes in Artific
Audience: General
Format: Paperback
Language: English
Number Of Pages: 307
Published: August 1990
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 25.4 x 17.78  x 1.73
Weight (kg): 0.56