Proceedings of the IEEE Computer Society 1986 international conference on computer languages
Conference
·
OSTI ID:6487810
This book presents the papers given at a conference which considered programming languages for artificial intelligence. Topics discussed at the conference included Prolog, logic programming languages, a globally optimized compiler, the algebra of functional programs, equational programming, parallel programs, software quality, the design of distributed systems, programming languages for data flow and pipelined algorithms, knowledge representation languages, and grammars for language specification.
- OSTI ID:
- 6487810
- Report Number(s):
- CONF-8610248-
- Country of Publication:
- United States
- Language:
- English
Similar Records
Proceedings of the fifth annual international Phoenix conference on computers and communications
Proceedings of the symposium on logic in computer science
Proceedings of the 1986 Fall joint computer conference
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:5099896
Proceedings of the symposium on logic in computer science
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6536678
Proceedings of the 1986 Fall joint computer conference
Conference
·
Tue Dec 31 23:00:00 EST 1985
·
OSTI ID:6471774
Related Subjects
99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
990220 -- Computers
Computerized Models
& Computer Programs-- (1987-1989)
ABSTRACTS
ALGEBRA
ARTIFICIAL INTELLIGENCE
COMPUTER CODES
DATA PROCESSING
DATA-FLOW PROCESSING
DISTRIBUTED DATA PROCESSING
DOCUMENT TYPES
EQUATIONS
EXECUTIVE CODES
LEADING ABSTRACT
MATHEMATICS
MEETINGS
PARALLEL PROCESSING
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
PROLOG
SPECIFICATIONS
STANDARDIZED TERMINOLOGY
990210* -- Supercomputers-- (1987-1989)
990220 -- Computers
Computerized Models
& Computer Programs-- (1987-1989)
ABSTRACTS
ALGEBRA
ARTIFICIAL INTELLIGENCE
COMPUTER CODES
DATA PROCESSING
DATA-FLOW PROCESSING
DISTRIBUTED DATA PROCESSING
DOCUMENT TYPES
EQUATIONS
EXECUTIVE CODES
LEADING ABSTRACT
MATHEMATICS
MEETINGS
PARALLEL PROCESSING
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
PROLOG
SPECIFICATIONS
STANDARDIZED TERMINOLOGY