Logic programming : formal methods and practical applications /
57
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Amsterdam : Elsevier,
1995
|
| Subjects: |
| _version_ | 1796721627816263680 |
|---|---|
| author | Beierle, Christoph Plumer, Lutz |
| author_facet | Beierle, Christoph Plumer, Lutz |
| author_sort | Beierle, Christoph |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-05T07:04:09Z |
| format | |
| id | KOHA-OAI-TEST:371529 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-05T07:04:09Z |
| publishDate | 1995 |
| publisher | Amsterdam : Elsevier, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:3715292020-12-19T17:12:55ZLogic programming : formal methods and practical applications / Beierle, Christoph Plumer, Lutz Amsterdam : Elsevier,1995575859PSZJBLLogic programmingURN:ISBN:0444820922 |
| spellingShingle | Logic programming Beierle, Christoph Plumer, Lutz Logic programming : formal methods and practical applications / |
| title | Logic programming : formal methods and practical applications / |
| title_full | Logic programming : formal methods and practical applications / |
| title_fullStr | Logic programming : formal methods and practical applications / |
| title_full_unstemmed | Logic programming : formal methods and practical applications / |
| title_short | Logic programming : formal methods and practical applications / |
| title_sort | logic programming formal methods and practical applications |
| topic | Logic programming |
| work_keys_str_mv | AT beierlechristoph logicprogrammingformalmethodsandpracticalapplications AT plumerlutz logicprogrammingformalmethodsandpracticalapplications |