Foundations of logic programming
Main Author: | Lloyd, J. W. 1947- (John Wylie) (Author) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin
Springer-Verlag
c1984
|
Subjects: |
Similar Items
-
Logic programming and knowledge engineering
by: Amble, Tore
Published: (1987) -
Temporal logics and their applications
Published: (1987) -
Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Published: (1989) -
Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Published: (1986) -
Logic for computer science Foundations of automatic theorem proving
by: Gallier, Jean H.
Published: (1987)