Software science and engineering: selected papers from the Kyoto Symposia
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Singapore u.a.
World Scientific
1991
|
| Series: | World Scientific <Singapore>: World Scientific series in computer science
31. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 245 S. graph. Darst. |
| ISBN: | 981020776X |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV006613124 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930210s1991 d||| |||| 10||| eng d | ||
| 020 | |a 981020776X |9 981-02-0776-X | ||
| 035 | |a (OCoLC)493458164 | ||
| 035 | |a (DE-599)BVBBV006613124 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-11 | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 245 | 1 | 0 | |a Software science and engineering |b selected papers from the Kyoto Symposia |c ed. by Ikuo Nakata ... |
| 264 | 1 | |a Singapore u.a. |b World Scientific |c 1991 | |
| 300 | |a IX, 245 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a World Scientific <Singapore>: World Scientific series in computer science |v 31. | |
| 650 | 7 | |a génie logiciel |2 inriac | |
| 650 | 7 | |a méthodologie programmation |2 inriac | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Nakata, Ikuo |e Sonstige |4 oth | |
| 830 | 0 | |a World Scientific <Singapore>: World Scientific series in computer science |v 31. |w (DE-604)BV004586864 |9 31 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004225552&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004225552 | ||
Record in the Search Index
| _version_ | 1804120889388695552 |
|---|---|
| adam_text | WORLD SCIENTIFIC SERIES IN COMPUTER SCIENCE - VOL. 31 SOFTWARE SCIENCE
AND ENGINEERING SELECTED PAPERS FROM THE KYOTO SYMPOSIA EDITED BY IKUO
NAKATA INSTITUTE OF INFORMATION SCIENCES AND ELECTRONICS UNIVERSITY OF
TSUKUBA MASAMI HAGIYA RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO
UNIVERSITY WORLD SCIENTIFIC SINGAPORE * NEW JERSEY * LONDON * HONG KONG
TABLE OF CONTENTS METIS: A TERM REWRITING SYSTEM GENERATOR 1 * AN
INFERENCE ENGINE FOR EQUATIONS AND INEQUATIONS AKIHIKO OHSUGA AND KB
SAKAI A REGULATED ACCUMULATING ARRAY GRA FNMAR AND ITS APPLICATION 16 ON
A PROCESS ASSIGNMENT PROBLEM FOR A PARALLEL COMPUTING TAISHIN Y. NISHIDA
AN ALGEBRAIC METHOD FOR VERIFYING PROGRESS PROPERTY 39 OF COMMUNICATION
PROTOCOLS TERUO HIGASHINO, KENICHI TANIGUCHI, TADAO KASAMI, MAMORU FUJII
AND MASAAKI MORI ON OPERATIONAL SEMANTICS OF CONGRUENCE RELATION 60
DEFINED IN ALGEBRAIC LANGUAGE ASL/* HIROYUKI SEKI, KENICHI TANIGUCHI AND
TADAO KASAMI DATAFLOW COMPUTING MECHANISM FOR LOGIC PROGRAM 78 AND
EXTRACTION OF FUNCTIONAL FROM IT SUSURAU YAMASAKI TOP-DOWN ZOOMING
DIAGNOSIS OF LOGIC PROGRAMS 98 MACHI UENO AND TADASHI KANAMORI
OBJECT-ORIENTED APPROACH TO DISCOURSE UNDERSTANDING 130 CHISATO NUMAOKA,
TADASHI NAGANO AND MARIO TOKORO NEGATION TECHNIQUE FOR CONTEXT-FREE
GRAMMARS 145 YOSHIYUKI YAMASHITA AND IKUO NAKATA POTENTIAL OF
GENERAL-PURPOSE REASONING ASSISTANT SYSTEM EUODHILOS 164 HAJIME
SAWAMURA, TOSHIRO MINAMI, KAORU YOKOTA AND KYOKO OHASHI RELEVANCE LOGIC
AND ENTAILMENT LOGIC 189 JINGDE CHENG DISTRIBUTED GARBAGE COLLECTION
USING GROUP REFERENCE COUNTING 212 YUUJI ICHISUGI AND AKINORI YONEZAWA
COMPLETENESS OF DEPTH-BOUNDED RESOLUTION FOR WEAKLY REDUCING PROGRAMS
227 HIROKI ARIMURA
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV006613124 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)493458164 (DE-599)BVBBV006613124 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01427nam a2200337 cb4500</leader><controlfield tag="001">BV006613124</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1991 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981020776X</subfield><subfield code="9">981-02-0776-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)493458164</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006613124</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-739</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Software science and engineering</subfield><subfield code="b">selected papers from the Kyoto Symposia</subfield><subfield code="c">ed. by Ikuo Nakata ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore u.a.</subfield><subfield code="b">World Scientific</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 245 S.</subfield><subfield code="b">graph. Darst.</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">World Scientific <Singapore>: World Scientific series in computer science</subfield><subfield code="v">31.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">génie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">méthodologie programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakata, Ikuo</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">World Scientific <Singapore>: World Scientific series in computer science</subfield><subfield code="v">31.</subfield><subfield code="w">(DE-604)BV004586864</subfield><subfield code="9">31</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004225552&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004225552</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006613124 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:49:15Z |
| institution | BVB |
| isbn | 981020776X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004225552 |
| oclc_num | 493458164 |
| open_access_boolean | |
| owner | DE-739 DE-11 |
| owner_facet | DE-739 DE-11 |
| physical | IX, 245 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | World Scientific |
| record_format | marc |
| series | World Scientific <Singapore>: World Scientific series in computer science |
| series2 | World Scientific <Singapore>: World Scientific series in computer science |
| spelling | Software science and engineering selected papers from the Kyoto Symposia ed. by Ikuo Nakata ... Singapore u.a. World Scientific 1991 IX, 245 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier World Scientific <Singapore>: World Scientific series in computer science 31. génie logiciel inriac méthodologie programmation inriac (DE-588)1071861417 Konferenzschrift gnd-content Nakata, Ikuo Sonstige oth World Scientific <Singapore>: World Scientific series in computer science 31. (DE-604)BV004586864 31 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004225552&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Software science and engineering selected papers from the Kyoto Symposia World Scientific <Singapore>: World Scientific series in computer science génie logiciel inriac méthodologie programmation inriac |
| subject_GND | (DE-588)1071861417 |
| title | Software science and engineering selected papers from the Kyoto Symposia |
| title_auth | Software science and engineering selected papers from the Kyoto Symposia |
| title_exact_search | Software science and engineering selected papers from the Kyoto Symposia |
| title_full | Software science and engineering selected papers from the Kyoto Symposia ed. by Ikuo Nakata ... |
| title_fullStr | Software science and engineering selected papers from the Kyoto Symposia ed. by Ikuo Nakata ... |
| title_full_unstemmed | Software science and engineering selected papers from the Kyoto Symposia ed. by Ikuo Nakata ... |
| title_short | Software science and engineering |
| title_sort | software science and engineering selected papers from the kyoto symposia |
| title_sub | selected papers from the Kyoto Symposia |
| topic | génie logiciel inriac méthodologie programmation inriac |
| topic_facet | génie logiciel méthodologie programmation Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004225552&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004586864 |
| work_keys_str_mv | AT nakataikuo softwarescienceandengineeringselectedpapersfromthekyotosymposia |