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

Available Online