+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
Ships: 5 to 9 business days
5 to 9 business days
$135.51
or 4 easy payments of $33.88 with Learn more

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