Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Springer
|
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/3243 | ||
| 010 | |a 3-540-58216-9 |b Berlin | ||
| 010 | |a 0-387-58216-9 |b New York : alk. paper | ||
| 035 | |l 10004192 | ||
| 100 | |a 19981015d1994 0grey0105 ba | ||
| 101 | 0 | |a eng | |
| 200 | 1 | |a Logic programming and automated reasoning |e 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings |f Frank Pfenning | |
| 210 | |a Berlin |a New York |c Springer-Verlag |d c1994 | ||
| 215 | |a x, 344 p. |d 24 cm. | ||
| 300 | |a Includes index | ||
| 606 | 0 | |a Τεχνητή νοημοσύνη |x Συνέδρια | |
| 606 | 0 | |a Λογικός προγραμματισμός |x Συνέδρια | |
| 606 | 0 | |a Συλλογισμός | |
| 676 | |a 006.3 | ||
| 701 | 1 | |a Pfenning |b Frank | |
| 709 | |a Springer | ||
| 710 | 1 | 2 | |a LPAR |d (5th: |f 1994) |e Kiev, Ukraine: |
| 801 | 0 | |a GR |b ΠΑ.Δ.Α. - Βιβλιοθήκη Πανεπιστημιούπολης 2 |g AACR2 | |
| 852 | |a INST |b LIBRARY |e 19981015 |h 006.3 LOG |p 000007156 |q 000007156 |t BK |y 23 |z 1 | ||
| 901 | |a 000910 | ||
| 909 | |b 012390 | ||
| 970 | |a ΠΑΝΤΖΑΛΗ |b ΣΟΦΙΑ |z 1998-10 | ||
Εγγραφή στο Ευρετήριο Αναζήτησης
| _version_ | 1780545241363775489 |
|---|---|
| author | Pfenning Frank |
| author_corporate | LPAR |
| author_corporate_role | |
| author_facet | Pfenning Frank LPAR |
| author_role | |
| author_sort | Pfenning Frank |
| author_variant | p f pf |
| building | Campus Library II |
| collection | LIB2 Catalog |
| dewey-full | 006.3 |
| dewey-hundreds | 000 |
| dewey-ones | 006 |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 |
| format | Book |
| fullrecord | {"leader":"01120nam a2200289 i 4500","fields":[{"001":"1/3243"},{"010":{"subfields":[{"a":"3-540-58216-9"},{"b":"Berlin"}],"ind1":" ","ind2":" "}},{"010":{"subfields":[{"a":"0-387-58216-9"},{"b":"New York : alk. paper"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10004192"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981015d1994 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"Logic programming and automated reasoning"},{"e":"5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings"},{"f":"Frank Pfenning "}],"ind1":"1","ind2":" "}},{"210":{"subfields":[{"a":"Berlin"},{"a":"New York"},{"c":"Springer-Verlag"},{"d":"c1994"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"x, 344 p."},{"d":"24 cm."}],"ind1":" ","ind2":" "}},{"300":{"subfields":[{"a":"Includes index"}],"ind1":" ","ind2":" "}},{"606":{"subfields":[{"a":"\u03a4\u03b5\u03c7\u03bd\u03b7\u03c4\u03ae \u03bd\u03bf\u03b7\u03bc\u03bf\u03c3\u03cd\u03bd\u03b7"},{"x":"\u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u039b\u03bf\u03b3\u03b9\u03ba\u03cc\u03c2 \u03c0\u03c1\u03bf\u03b3\u03c1\u03b1\u03bc\u03bc\u03b1\u03c4\u03b9\u03c3\u03bc\u03cc\u03c2"},{"x":"\u03a3\u03c5\u03bd\u03ad\u03b4\u03c1\u03b9\u03b1"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u03a3\u03c5\u03bb\u03bb\u03bf\u03b3\u03b9\u03c3\u03bc\u03cc\u03c2"}],"ind1":"0","ind2":" "}},{"676":{"subfields":[{"a":"006.3"}],"ind1":" ","ind2":" "}},{"701":{"subfields":[{"a":"Pfenning"},{"b":"Frank"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"Springer"}],"ind1":" ","ind2":" "}},{"710":{"subfields":[{"a":"LPAR"},{"d":"(5th:"},{"f":"1994)"},{"e":"Kiev, Ukraine:"}],"ind1":"1","ind2":"2"}},{"801":{"subfields":[{"a":"GR"},{"b":"\u03a0\u0391.\u0394.\u0391. - \u0392\u03b9\u03b2\u03bb\u03b9\u03bf\u03b8\u03ae\u03ba\u03b7 \u03a0\u03b1\u03bd\u03b5\u03c0\u03b9\u03c3\u03c4\u03b7\u03bc\u03b9\u03bf\u03cd\u03c0\u03bf\u03bb\u03b7\u03c2 2"},{"g":"AACR2"}],"ind1":" ","ind2":"0"}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981015"},{"h":"006.3 LOG"},{"p":"000007156"},{"q":"000007156"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"901":{"subfields":[{"a":"000910"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012390"}],"ind1":" ","ind2":" "}},{"970":{"subfields":[{"a":"\u03a0\u0391\u039d\u03a4\u0396\u0391\u039b\u0397"},{"b":"\u03a3\u039f\u03a6\u0399\u0391"},{"z":"1998-10"}],"ind1":" ","ind2":" "}}]}
|
| id | lib2_1/3243 |
| illustrated | Not Illustrated |
| institution | University of West Attica |
| isbn | 3-540-58216-9 0-387-58216-9 |
| language | English |
| physical | x, 344 p. 24 cm. |
| publishDate | 1994 |
| publisher | Springer |
| record_format | marc |
| spelling | 19981015d1994 0grey0105 ba eng Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings Frank Pfenning Berlin New York Springer-Verlag c1994 x, 344 p. 24 cm. Includes index Τεχνητή νοημοσύνη Συνέδρια Λογικός προγραμματισμός Συνέδρια Συλλογισμός 006.3 Pfenning Frank Springer LPAR (5th: 1994) Kiev, Ukraine: GR ΠΑ.Δ.Α. - Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2 INST LIBRARY 19981015 006.3 LOG 000007156 000007156 BK 23 1 |
| spellingShingle | Pfenning Frank Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings Τεχνητή νοημοσύνη Συνέδρια Λογικός προγραμματισμός Συνέδρια Συλλογισμός |
| title | Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings |
| title_auth | Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings |
| title_full | Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings Frank Pfenning |
| title_fullStr | Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings Frank Pfenning |
| title_full_unstemmed | Logic programming and automated reasoning 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings Frank Pfenning |
| title_short | Logic programming and automated reasoning |
| title_sub | 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings |
| topic | Τεχνητή νοημοσύνη Συνέδρια Λογικός προγραμματισμός Συνέδρια Συλλογισμός |
| topic_facet | Τεχνητή νοημοσύνη Συνέδρια Λογικός προγραμματισμός Συνέδρια Συλλογισμός |