Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), IBM Deutschland
Other Authors:	Bläsius, K. H. (Karl Hans), Hedtstück, U. (Ulrich), 1951-, Rollinger, Claus-Rainer
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 418. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Artificial intelligence > Congresses. Logic, Symbolic and mathematical > Congresses. Sorting (Electronic computers) > Congresses. Abstract data types (Computer science) > Congresses. compréhension langage. langage naturel. raisonnement qualitatif. représentation connaissance. logique. démonstration théorème. programmation en logique. tri. type. Abstract data types (Computer science) Artificial intelligence. Logic, Symbolic and mathematical. Sorting (Electronic computers) Intelligence artificielle > Congrès. Künstliche Intelligenz. Sorte (Logik) Datentyp. Kongress. Mehrsortige Prädikatenlogik. Prädikatenlogik. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	"Workshop held in Geseke, West Germany ... sponsored and organized by IBM Germany"--Introduction. Electronic resource.
Physical Description:	1 online resource (viii, 307 pages) : illustrations.
Format:	Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:	Includes bibliographical references.