Foundations of logic programming
Κύριος συγγραφέας: | Lloyd, J. W. 1947- (John Wylie) (Συγγραφέας) |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin
Springer-Verlag
c1984
|
Θέματα: |
Παρόμοια τεκμήρια
-
Logic programming and knowledge engineering
ανά: Amble, Tore
Έκδοση: (1987) -
Temporal logics and their applications
Έκδοση: (1987) -
Logic for computer science Foundations of automatic theorem proving
ανά: Gallier, Jean H.
Έκδοση: (1987) -
Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989) -
The nonlinear workbook Chaos, Fractals, Cellular Automata, Neural Networks, Genetic Algorithms, Fuzzy Logic with C++, Java, Symbolic C++ and Reduce Programs
ανά: Steeb, Willi-Hans
Έκδοση: (2001)