Formal methods in artificial intelligence
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge University Press
|
| Σειρά: | Cambridge tracts in theoretical computer science |
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 1/9773 | ||
| 010 | |a 0-521-35236-3 |b hardback | ||
| 010 | |a 0-521-42421-6 |b paperback | ||
| 035 | |l 10000668 | ||
| 100 | |a 19981021d1991 0grey0105 ba | ||
| 101 | 0 | |a eng | |
| 200 | 1 | |a Formal methods in artificial intelligence |f Allan Ramsay | |
| 210 | |a Cambridge |a New York |c Cambridge University Press |d 1991 | ||
| 215 | |a ix, 279 p. |c ill. |d 26 cm. | ||
| 225 | 2 | |a Cambridge tracts in theoretical computer science |v 6 | |
| 300 | |a Includes index | ||
| 320 | |a Bibliography: p. 273-275 | ||
| 410 | 1 | |t Cambridge Tracts in Theoretical Computer Science |v 6 | |
| 606 | 0 | |a Τεχνητή νοημοσύνη |x Μεθοδολογία | |
| 606 | 0 | |a Λογική, Συμβολική και μαθηματική | |
| 606 | 0 | |a Συλλογισμός | |
| 676 | |a 006.3 | ||
| 700 | 1 | |a Ramsay |b Allan |f 1953- | |
| 709 | |a Cambridge University Press | ||
| 801 | 0 | |a GR |b ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 |g AACR2 | |
| 852 | |a INST |b LIBRARY |e 19981020 |h 006.3 RAM |p 0000188841 |q 0000188841 |t BK |y 23 |z 1 | ||
| 852 | |a INST |b LIBRARY |e 19981020 |h 006.3 RAM |p 0000188844 |q 0000188844 |t BK |y 0 |z 2 | ||
| 901 | |a 000812 | ||
| 909 | |b 012712 (c.1) | ||
| 909 | |b 012713 (c.2) | ||
| 970 | |a ΜΙΧΑΗΛΙΔΟΥ |b ΑΝΝΑ |z ANNA-1998-10 | ||
Εγγραφή στο Ευρετήριο Αναζήτησης
| _version_ | 1780545245723754497 |
|---|---|
| author | Ramsay Allan 1953- |
| author_facet | Ramsay Allan 1953- |
| author_role | |
| author_sort | Ramsay Allan 1953- |
| author_variant | r a ra |
| 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":"01319nam a2200337 i 4500","fields":[{"001":"1/9773"},{"010":{"subfields":[{"a":"0-521-35236-3"},{"b":"hardback"}],"ind1":" ","ind2":" "}},{"010":{"subfields":[{"a":"0-521-42421-6"},{"b":"paperback"}],"ind1":" ","ind2":" "}},{"035":{"subfields":[{"l":"10000668"}],"ind1":" ","ind2":" "}},{"100":{"subfields":[{"a":"19981021d1991 0grey0105 ba"}],"ind1":" ","ind2":" "}},{"101":{"subfields":[{"a":"eng"}],"ind1":"0","ind2":" "}},{"200":{"subfields":[{"a":"Formal methods in artificial intelligence"},{"f":"Allan Ramsay"}],"ind1":"1","ind2":" "}},{"210":{"subfields":[{"a":"Cambridge"},{"a":"New York"},{"c":"Cambridge University Press"},{"d":"1991"}],"ind1":" ","ind2":" "}},{"215":{"subfields":[{"a":"ix, 279 p."},{"c":"ill."},{"d":"26 cm."}],"ind1":" ","ind2":" "}},{"225":{"subfields":[{"a":"Cambridge tracts in theoretical computer science"},{"v":"6"}],"ind1":"2","ind2":" "}},{"300":{"subfields":[{"a":"Includes index"}],"ind1":" ","ind2":" "}},{"320":{"subfields":[{"a":"Bibliography: p. 273-275"}],"ind1":" ","ind2":" "}},{"410":{"subfields":[{"t":"Cambridge Tracts in Theoretical Computer Science"},{"v":"6"}],"ind1":" ","ind2":"1"}},{"606":{"subfields":[{"a":"\u03a4\u03b5\u03c7\u03bd\u03b7\u03c4\u03ae \u03bd\u03bf\u03b7\u03bc\u03bf\u03c3\u03cd\u03bd\u03b7"},{"x":"\u039c\u03b5\u03b8\u03bf\u03b4\u03bf\u03bb\u03bf\u03b3\u03af\u03b1"}],"ind1":"0","ind2":" "}},{"606":{"subfields":[{"a":"\u039b\u03bf\u03b3\u03b9\u03ba\u03ae, \u03a3\u03c5\u03bc\u03b2\u03bf\u03bb\u03b9\u03ba\u03ae \u03ba\u03b1\u03b9 \u03bc\u03b1\u03b8\u03b7\u03bc\u03b1\u03c4\u03b9\u03ba\u03ae"}],"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":" "}},{"700":{"subfields":[{"a":"Ramsay"},{"b":"Allan"},{"f":"1953-"}],"ind1":" ","ind2":"1"}},{"709":{"subfields":[{"a":"Cambridge University Press"}],"ind1":" ","ind2":" "}},{"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":"19981020"},{"h":"006.3 RAM"},{"p":"0000188841"},{"q":"0000188841"},{"t":"BK"},{"y":"23"},{"z":"1"}],"ind1":" ","ind2":" "}},{"852":{"subfields":[{"a":"INST"},{"b":"LIBRARY"},{"e":"19981020"},{"h":"006.3 RAM"},{"p":"0000188844"},{"q":"0000188844"},{"t":"BK"},{"y":"0"},{"z":"2"}],"ind1":" ","ind2":" "}},{"901":{"subfields":[{"a":"000812"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012712 (c.1)"}],"ind1":" ","ind2":" "}},{"909":{"subfields":[{"b":"012713 (c.2)"}],"ind1":" ","ind2":" "}},{"970":{"subfields":[{"a":"\u039c\u0399\u03a7\u0391\u0397\u039b\u0399\u0394\u039f\u03a5"},{"b":"\u0391\u039d\u039d\u0391"},{"z":"ANNA-1998-10"}],"ind1":" ","ind2":" "}}]}
|
| id | lib2_1/9773 |
| illustrated | Illustrated |
| institution | University of West Attica |
| isbn | 0-521-35236-3 0-521-42421-6 |
| language | English |
| physical | ix, 279 p. ill. 26 cm. |
| publishDate | 1991 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge tracts in theoretical computer science |
| spelling | 19981021d1991 0grey0105 ba eng Formal methods in artificial intelligence Allan Ramsay Cambridge New York Cambridge University Press 1991 ix, 279 p. ill. 26 cm. Cambridge tracts in theoretical computer science 6 Includes index Bibliography: p. 273-275 Cambridge Tracts in Theoretical Computer Science 6 Τεχνητή νοημοσύνη Μεθοδολογία Λογική, Συμβολική και μαθηματική Συλλογισμός 006.3 Ramsay Allan 1953- Cambridge University Press GR ΠΑ.Δ.Α. Βιβλιοθήκη Πανεπιστημιούπολης 2 AACR2 INST LIBRARY 19981020 006.3 RAM 0000188841 0000188841 BK 23 1 INST LIBRARY 19981020 006.3 RAM 0000188844 0000188844 BK 0 2 |
| spellingShingle | Ramsay Allan 1953- Formal methods in artificial intelligence Τεχνητή νοημοσύνη Μεθοδολογία Λογική, Συμβολική και μαθηματική Συλλογισμός |
| title | Formal methods in artificial intelligence |
| title_auth | Formal methods in artificial intelligence |
| title_full | Formal methods in artificial intelligence Allan Ramsay |
| title_fullStr | Formal methods in artificial intelligence Allan Ramsay |
| title_full_unstemmed | Formal methods in artificial intelligence Allan Ramsay |
| title_short | Formal methods in artificial intelligence |
| topic | Τεχνητή νοημοσύνη Μεθοδολογία Λογική, Συμβολική και μαθηματική Συλλογισμός |
| topic_facet | Τεχνητή νοημοσύνη Μεθοδολογία Λογική, Συμβολική και μαθηματική Συλλογισμός |