Algebraic and logic programming: third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1992
|
| Schriftenreihe: | Lecture notes in computer science
632 |
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | IX, 457 S. Ill. |
| ISBN: | 354055873X 038755873X |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV005589542 | ||
| 003 | DE-604 | ||
| 005 | 20090211 | ||
| 007 | t| | ||
| 008 | 921012s1992 xx a||| |||| 10||| eng d | ||
| 020 | |a 354055873X |9 3-540-55873-X | ||
| 020 | |a 038755873X |9 0-387-55873-X | ||
| 035 | |a (OCoLC)26256796 | ||
| 035 | |a (DE-599)BVBBV005589542 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-384 |a DE-91G |a DE-739 |a DE-19 |a DE-20 |a DE-706 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 005.13/1 |2 20 | |
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 245 | 1 | 0 | |a Algebraic and logic programming |b third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings |c H. Kirchner ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1992 | |
| 300 | |a IX, 457 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 632 | |
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a Logique algébrique - Congrès | |
| 650 | 7 | |a Logique algébrique - Congrès |2 ram | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a concurrence |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a programmation algébrique |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a programmation sous contrainte |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a sémantique programmation |2 inriac | |
| 650 | 4 | |a Algebraic logic |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 650 | 0 | 7 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Termersetzungssystem |0 (DE-588)4117189-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Volterra |2 gnd-content | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | 1 | |a Algebraische Spezifikation |0 (DE-588)4207192-6 |D s |
| 689 | 2 | 2 | |a Termersetzungssystem |0 (DE-588)4117189-5 |D s |
| 689 | 2 | |5 DE-188 | |
| 689 | 3 | 0 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 3 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 3 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kirchner, Hélène |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Algebraic and Logic Programming |n 3 |d 1992 |c Volterra |j Sonstige |0 (DE-588)5075652-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 632 |w (DE-604)BV000000607 |9 632 | |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003501049 | |
Datensatz im Suchindex
| _version_ | 1820874839371546624 |
|---|---|
| adam_text | |
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV005589542 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 240 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)26256796 (DE-599)BVBBV005589542 |
| dewey-full | 005.13/1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13/1 |
| dewey-search | 005.13/1 |
| dewey-sort | 15.13 11 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV005589542</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090211</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921012s1992 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354055873X</subfield><subfield code="9">3-540-55873-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">038755873X</subfield><subfield code="9">0-387-55873-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)26256796</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005589542</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13/1</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic and logic programming</subfield><subfield code="b">third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings</subfield><subfield code="c">H. Kirchner ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 457 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">632</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique algébrique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique algébrique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">concurrence</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation algébrique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation sous contrainte</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebraic logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Volterra</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Termersetzungssystem</subfield><subfield code="0">(DE-588)4117189-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kirchner, Hélène</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Algebraic and Logic Programming</subfield><subfield code="n">3</subfield><subfield code="d">1992</subfield><subfield code="c">Volterra</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5075652-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">632</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">632</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003501049</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Volterra gnd-content |
| genre_facet | Konferenzschrift 1992 Volterra |
| id | DE-604.BV005589542 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:07Z |
| institution | BVB |
| institution_GND | (DE-588)5075652-7 |
| isbn | 354055873X 038755873X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003501049 |
| oclc_num | 26256796 |
| open_access_boolean | |
| owner | DE-12 DE-384 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-20 DE-706 DE-83 DE-11 DE-188 |
| owner_facet | DE-12 DE-384 DE-91G DE-BY-TUM DE-739 DE-19 DE-BY-UBM DE-20 DE-706 DE-83 DE-11 DE-188 |
| physical | IX, 457 S. Ill. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings H. Kirchner ... (eds.) Berlin u.a. Springer 1992 IX, 457 S. Ill. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 632 Literaturangaben Logique algébrique - Congrès Logique algébrique - Congrès ram Programmation logique - Congrès Programmation logique - Congrès ram concurrence inriac démonstration théorème inriac programmation algébrique inriac programmation en logique inriac programmation fonctionnelle inriac programmation sous contrainte inriac réécriture inriac sémantique programmation inriac Algebraic logic Congresses Logic programming Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Termersetzungssystem (DE-588)4117189-5 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Volterra gnd-content Logische Programmierung (DE-588)4195096-3 s Algebra (DE-588)4001156-2 s DE-604 Algebraische Spezifikation (DE-588)4207192-6 s Programmierung (DE-588)4076370-5 s Termersetzungssystem (DE-588)4117189-5 s DE-188 1\p DE-604 Kirchner, Hélène Sonstige oth International Conference on Algebraic and Logic Programming 3 1992 Volterra Sonstige (DE-588)5075652-7 oth Lecture notes in computer science 632 (DE-604)BV000000607 632 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings Lecture notes in computer science Logique algébrique - Congrès Logique algébrique - Congrès ram Programmation logique - Congrès Programmation logique - Congrès ram concurrence inriac démonstration théorème inriac programmation algébrique inriac programmation en logique inriac programmation fonctionnelle inriac programmation sous contrainte inriac réécriture inriac sémantique programmation inriac Algebraic logic Congresses Logic programming Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Algebra (DE-588)4001156-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4207192-6 (DE-588)4117189-5 (DE-588)4001156-2 (DE-588)4195096-3 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings |
| title_auth | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings |
| title_exact_search | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings |
| title_full | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings H. Kirchner ... (eds.) |
| title_fullStr | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings H. Kirchner ... (eds.) |
| title_full_unstemmed | Algebraic and logic programming third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings H. Kirchner ... (eds.) |
| title_short | Algebraic and logic programming |
| title_sort | algebraic and logic programming third international conference volterra italy september 2 4 1992 proceedings |
| title_sub | third international conference, Volterra, Italy, September 2 - 4, 1992 ; proceedings |
| topic | Logique algébrique - Congrès Logique algébrique - Congrès ram Programmation logique - Congrès Programmation logique - Congrès ram concurrence inriac démonstration théorème inriac programmation algébrique inriac programmation en logique inriac programmation fonctionnelle inriac programmation sous contrainte inriac réécriture inriac sémantique programmation inriac Algebraic logic Congresses Logic programming Congresses Algebraische Spezifikation (DE-588)4207192-6 gnd Termersetzungssystem (DE-588)4117189-5 gnd Algebra (DE-588)4001156-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Logique algébrique - Congrès Programmation logique - Congrès concurrence démonstration théorème programmation algébrique programmation en logique programmation fonctionnelle programmation sous contrainte réécriture sémantique programmation Algebraic logic Congresses Logic programming Congresses Algebraische Spezifikation Termersetzungssystem Algebra Logische Programmierung Programmierung Konferenzschrift 1992 Volterra |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT kirchnerhelene algebraicandlogicprogrammingthirdinternationalconferencevolterraitalyseptember241992proceedings AT internationalconferenceonalgebraicandlogicprogrammingvolterra algebraicandlogicprogrammingthirdinternationalconferencevolterraitalyseptember241992proceedings |