Artificial intelligence and symbolic mathematical computing :
International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings /
Jacques Calmet, John A. Campbell, (eds)

Description

Tools

Cite this Export citation file

Meeting Name: AISMC-1 Karlsruhe, Germany) (1992 :
Related Names: Campbell, J. A., 1940-
Calmet, Jacques.
Language(s): English
Published: Heidelberg ; Springer-Verlag, 1993.
Subjects: Logic, Symbolic and mathematical > Logic, Symbolic and mathematical / Congresses.
Artificial intelligence > Artificial intelligence / Congresses.
Physical Description: 305 p. : ill. ; 24 cm.
ISBN: 0387573224
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	The Ohio State University

View HathiTrust MARC record

Similar Items

Implementations of Prolog

Author: Campbell, J. A., 1940-
Published: 1984

Progress in artificial intelligence

Author: Campbell, J. A., 1940-
Published: 1985

Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings

Author: Calmet, Jacques.
Published: 1986

Perspectives in artificial intelligence

Author: Cuena, J
Published: 1989

Geophysical journal

Author: European Geophysical Society
Published: 1988

Sailing directions (enroute). Japan. Volume 1.

Author: United States. National Imagery and Mapping Agency.
Published: 1990

SHR

Author: Southern Humanities Council.
Published: 1996

Anthropology & archeology of Eurasia

Published: 1992

Sailing directions (enroute). Eastern Mediterranean

Author: United States. National Geospatial-Intelligence Agency.
Published: 1995

Dynamical systems of algebraic origin

Author: Schmidt, Klaus, 1943-
Published: 1995