Programming in Prolog / Fourth Edition (Record no. 1392)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01330cam a22002174a 4500 |
| 005 - ΗΜΕΡΟΜΗΝΙΑ ΚΑΙ ΩΡΑ ΤΕΛΕΥΤΑΙΑΣ ΕΝΗΜΕΡΩΣΗΣ | |
| Πεδίο ελέγχου | 20250605164007.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| Πεδίο ελέγχου σταθερού μήκους | 250528s ||||||||||||||||||||||||d |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | 15842 |
| 020 ## - ISBN | |
| ISBN | 387583505 |
| 040 ## - ΠΗΓΗ ΚΑΤΑΛΟΓΟΓΡΑΦΗΣΗΣ | |
| Φορέας πρωτότυπης καταλογογράφησης | MC Athens Campus Library |
| Γλώσσα καταλογογράφησης | Ελληνικά, Μοντέρνα (1453-) |
| Modifying agency | MC Athens Campus Library |
| Κανόνες περιγραφικής καταλογογράφησης | AACR2 |
| 245 1# - ΤΙΤΛΟΣ ΚΑΙ ΔΗΛΩΣΗ ΥΠΕΥΘΥΝΟΤΗΤΑΣ | |
| Τίτλος | Programming in Prolog / Fourth Edition |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 4th |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Springler Verlag, |
| Date of publication, distribution, etc. | 1994 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 282 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | The classic Prolog book which sets the language standard for almost all Prolog implementations. More Detailed Presentation of Prologue Syntax and Data Structures, How a Set of Clauses Generates a Set of Solution. Using ''Cut'' to Modify the Control Sequence of Running Prolog Programs, Many Example Programs are Given and Covering a Wide Range of Interests. New Examples Includes List Processing and Set Operations and Symbolic Differentiation and Simplification of Formulae, Applications of Existing Techniques. Using Grammar Rules. Examining the Design Decisions for Some Aspects of Analyzing Natural Language with Grammar Rules, Predicate Calculus and Clausal Form and Resolution and Theorem Proving and Logic Programming, A Selection of Suggested Exercises and Projects and Problems, Appendices, Index. |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Clocksin F. W |
| 9 (RLIN) | 1855 |
| 700 1# - ΠΡΟΣΘΕΤΗ ΑΝΑΓΡΑΦΗ--ΦΥΣΙΚΟ ΠΡΟΣΩΠΟ | |
| Personal name | Mellish S. C |
| 9 (RLIN) | 1856 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Τύπος τεκμηρίου | Βιβλιοθήκη | Τρέχουσα τοποθεσία | Barcode | Αριθμός εισαγωγής | Ημερομηνία απόκτησης | Ταξιθετικό σύμβολο | Αριθμός αντιτύπου | Κατάσταση απόσυρσης | Κατάσταση χαμένου | Κατάσταση κατεστραμμένου | Μη δανεισμός | Σύνολο δανεισμών | Ημερομηνία τελευταίας εμφάνισης | Η τιμή ισχύει από |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | MC Athens Campus Library | MC Athens Campus Library | 9780000013910 | 2450 | 05/06/2025 | 006.302/85 CLO | 2 | 05/06/2025 | 05/06/2025 |