|
|
|
Digital system design and microprocessors |
| APA |
(1987).
Digital system design and microprocessors,
New York:
McGraw-Hill Book Company.
|
| MLA |
Digital system design and microprocessors.
New York:
McGraw-Hill Book Company,
1987.
|
| Harvard |
1987.
Digital system design and microprocessors.
McGraw-Hill Book Company,
|
| Chicago |
Digital system design and microprocessors.
McGraw-Hill Book Company,
1987.
|
|
|
|
From modal logic to deductive databases : introducing a logic based approach
to artificial intelligence |
| APA |
(1989).
From modal logic to deductive databases : introducing a logic based
approach to artificial intelligence,
Chichester:
John Wiley and Sons.
|
| MLA |
From modal logic to deductive databases : introducing a logic based
approach to artificial intelligence.
Chichester:
John Wiley and Sons,
1989.
|
| Harvard |
1989.
From modal logic to deductive databases : introducing a logic based approach
to artificial intelligence.
John Wiley and Sons,
|
| Chicago |
From modal logic to deductive databases : introducing a logic based approach
to artificial intelligence.
John Wiley and Sons,
1989.
|
|
|
|
From standard logic to logic programming : introducing a logic based approach
to artificial intelligence |
| APA |
(1989).
From standard logic to logic programming : introducing a logic based
approach to artificial intelligence,
Chichester:
John Wiley and Sons.
|
| MLA |
From standard logic to logic programming : introducing a logic based
approach to artificial intelligence.
Chichester:
John Wiley and Sons,
1989.
|
| Harvard |
1989.
From standard logic to logic programming : introducing a logic based approach
to artificial intelligence.
John Wiley and Sons,
|
| Chicago |
From standard logic to logic programming : introducing a logic based approach
to artificial intelligence.
John Wiley and Sons,
1989.
|
|
|
|
The logical basis for computer programming |
| APA |
(1985).
The logical basis for computer programming,
New York:
Addison-Wesley Publishing Company.
|
| MLA |
The logical basis for computer programming.
New York:
Addison-Wesley Publishing Company,
1985.
|
| Harvard |
1985.
The logical basis for computer programming.
Addison-Wesley Publishing Company,
|
| Chicago |
The logical basis for computer programming.
Addison-Wesley Publishing Company,
1985.
|
|
|
|
Logic, programming and prolog |
| APA |
(1990).
Logic, programming and prolog,
Chichester:
John Wiley.
|
| MLA |
Logic, programming and prolog.
Chichester:
John Wiley,
1990.
|
| Harvard |
1990.
Logic, programming and prolog.
John Wiley,
|
| Chicago |
Logic, programming and prolog.
John Wiley,
1990.
|
|
|
|
Logic programming: Prolog and stream parallel languages |
| APA |
(1990).
Logic programming: Prolog and stream parallel languages,
N.Y.:
Prentice-Hall.
|
| MLA |
Logic programming: Prolog and stream parallel languages.
N.Y.:
Prentice-Hall,
1990.
|
| Harvard |
1990.
Logic programming: Prolog and stream parallel languages.
Prentice-Hall,
|
| Chicago |
Logic programming: Prolog and stream parallel languages.
Prentice-Hall,
1990.
|
|
|
|
Parallel logic programming techniques |
| APA |
(1989).
Parallel logic programming techniques,
Englewood Cliffs, NJ:
Prentice-Hall International, Inc..
|
| MLA |
Parallel logic programming techniques.
Englewood Cliffs, NJ:
Prentice-Hall International, Inc.,
1989.
|
| Harvard |
1989.
Parallel logic programming techniques.
Prentice-Hall International, Inc.,
|
| Chicago |
Parallel logic programming techniques.
Prentice-Hall International, Inc.,
1989.
|
|
|
|
Foundations of logic programming |
| APA |
(1987).
Foundations of logic programming,
Berlin:
Springer-Verlag.
|
| MLA |
Foundations of logic programming.
Berlin:
Springer-Verlag,
1987.
|
| Harvard |
1987.
Foundations of logic programming.
Springer-Verlag,
|
| Chicago |
Foundations of logic programming.
Springer-Verlag,
1987.
|
|
|
|
From logic programming to prolog |
| APA |
(1996).
From logic programming to prolog,
London:
Prentice-Hall.
|
| MLA |
From logic programming to prolog.
London:
Prentice-Hall,
1996.
|
| Harvard |
1996.
From logic programming to prolog.
Prentice-Hall,
|
| Chicago |
From logic programming to prolog.
Prentice-Hall,
1996.
|
|
|
|
logic and its applications |
| APA |
(1996).
logic and its applications,
London:
Prentice-Hall.
|
| MLA |
logic and its applications.
London:
Prentice-Hall,
1996.
|
| Harvard |
1996.
logic and its applications.
Prentice-Hall,
|
| Chicago |
logic and its applications.
Prentice-Hall,
1996.
|
|
|
|
Graph-based proof procedures for horn clauses |
| APA |
(1990).
Graph-based proof procedures for horn clauses,
Boston:
Birkhauslr.
|
| MLA |
Graph-based proof procedures for horn clauses.
Boston:
Birkhauslr,
1990.
|
| Harvard |
1990.
Graph-based proof procedures for horn clauses.
Birkhauslr,
|
| Chicago |
Graph-based proof procedures for horn clauses.
Birkhauslr,
1990.
|
|
|
|
Natural language understanding |
| APA |
(1994).
Natural language understanding,
Redwood City, California:
The Benjamin/Cummings Publishing Company.
|
| MLA |
Natural language understanding.
Redwood City, California:
The Benjamin/Cummings Publishing Company,
1994.
|
| Harvard |
1994.
Natural language understanding.
The Benjamin/Cummings Publishing Company,
|
| Chicago |
Natural language understanding.
The Benjamin/Cummings Publishing Company,
1994.
|
|
|
|
Prolog++: the power of object-oriented and logic programming |
| APA |
(1994).
Prolog++: the power of object-oriented and logic programming,
Wokingham, England:
Addison Wesley Publishing Company.
|
| MLA |
Prolog++: the power of object-oriented and logic programming.
Wokingham, England:
Addison Wesley Publishing Company,
1994.
|
| Harvard |
1994.
Prolog++: the power of object-oriented and logic programming.
Addison Wesley Publishing Company,
|
| Chicago |
Prolog++: the power of object-oriented and logic programming.
Addison Wesley Publishing Company,
1994.
|
|
|
|
P-Prolog, a parallel logic programming language |
| APA |
(1987).
P-Prolog, a parallel logic programming language,
Singapore:
World Scientific Publishing.
|
| MLA |
P-Prolog, a parallel logic programming language.
Singapore:
World Scientific Publishing,
1987.
|
| Harvard |
1987.
P-Prolog, a parallel logic programming language.
World Scientific Publishing,
|
| Chicago |
P-Prolog, a parallel logic programming language.
World Scientific Publishing,
1987.
|