Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
Κύριος συγγραφέας: | Pfenning Frank |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | LPAR |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Springer
|
Παρόμοια τεκμήρια
Παρόμοια τεκμήρια
-
Logic programming Proceedings of the 1991 international symposium
ανά: Saraswat Vijay, κ.ά.
Έκδοση: (1991) -
Simply logical Intelligent reasoning by example
ανά: Flach Peter A.
Έκδοση: (1994) -
Formal methods in artificial intelligence
ανά: Ramsay Allan 1953-
Έκδοση: (1991) -
The essence of logic
ανά: Kelly John J.
Έκδοση: (1997) -
International Joint Conference on Neural Networks (IJCNN'99) Proceedings, Washington, DC July 10-16, 1999
Έκδοση: (1999)