Conceptual structures: applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
954 : Lecture notes in artificial intelligence |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 352 S. graph. Darst. |
| ISBN: | 3540601619 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010309755 | ||
| 003 | DE-604 | ||
| 005 | 19951130 | ||
| 007 | t | ||
| 008 | 950717s1995 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 944823025 |2 DE-101 | |
| 020 | |a 3540601619 |9 3-540-60161-9 | ||
| 035 | |a (OCoLC)633680847 | ||
| 035 | |a (DE-599)BVBBV010309755 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-739 |a DE-355 |a DE-91G |a DE-19 |a DE-20 |a DE-824 |a DE-634 |a DE-83 |a DE-188 |a DE-11 |a DE-706 | ||
| 050 | 0 | |a Q387.2.I58 1995 | |
| 082 | 0 | |a 003/.54 20 | |
| 084 | |a SS 1995 |0 (DE-625)143432: |2 rvk | ||
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Conceptual structures |b applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings |c Gerard Ellis ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a IX, 352 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 954 : Lecture notes in artificial intelligence | |
| 650 | 4 | |a Conceptual structures (Information theory) -- Congresses | |
| 650 | 4 | |a Graph theory -- Congresses | |
| 650 | 4 | |a Logic diagrams -- Congresses | |
| 650 | 0 | 7 | |a Graphentheorie |0 (DE-588)4113782-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Begriffsgraph |0 (DE-588)4314945-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Santa Cruz Calif. |2 gnd-content | |
| 689 | 0 | 0 | |a Begriffsgraph |0 (DE-588)4314945-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 1 | 1 | |a Graphentheorie |0 (DE-588)4113782-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Ellis, Gerard |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Conceptual Structures |n 3 |d 1995 |c Santa Cruz, Calif. |j Sonstige |0 (DE-588)2148447-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 954 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 954 : Lecture | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861050&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006861050 | |
Datensatz im Suchindex
| _version_ | 1807320799519965184 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
PAPERS
SYNTAX,
SEMANTICS,
AND
PRAGMATICS
OF
CONTEXTS
1
JOHN
F.
SOWA
ONTOLOGY
REVISION
16
NORMAN
FOO
A
TRIADIC
APPROACH
TO
FORMAL
CONCEPT
ANALYSIS
32
FRITZ
LEHMANN
AND
RUDOLF
WILLE
APPLICATIONS
AUTOMATIC
INTEGRATION
OF
DIGITAL
SYSTEM
REQUIREMENTS
USING
SCHEMATA
44
R.
Y.
KAMATH
AND
W.
R.
CYRE
SERVICE
TRADING
USING
CONCEPTUAL
STRUCTURES
59
A.
RUDER.
S.
MARKWITZ
AND
F.
GUDERMANN
NATURAL
LANGUAGE
SENTENCE
GENERATION
FROM
CONCEPTUAL
GRAPHS
74
NICOLAS
NICOLOV.
CHRIS
MELLISH
AND
GRAEME
RITCHIE
DISCOURSE
SPACES:
A
PRAGMATIC
INTERPRETATION
OF
CONTEXTS
89
BERNARD
MOULIN
A
PRAGMATIC
REPRESENTATIONAL
APPROACH
OF
CONTEXT
AND
REFERENCE
IN
DISCOURSES
105
BERNARD
MOULIN
VIII
NATURAL
LANGUAGE
-
CONTINUED
USING
THE
CONCEPTUAL
GRAPHS
OPERATIONS
FOR
NATURAL
LANGUAGE
GENERATION
IN
MEDICINE
115
J.
C.
WAGNER.
R.H.
BAUD
AND
J.-R.
SCHERRER
TABLE
10
LEFT
WITHOUT
PAYING
THE
BILL!
A
GOOD
REASON
TO
TREAT
METONYMY
WITH
CONCEPTUAL
GRAPHS
129
TASSADIT
AMGHAR,
FRANGOISE
GAYRAL
AND
BERNARD
LEVRAT
PROGRAMMING
IN
CONCEPTUAL
GRAPHS
OBJECT-ORIENTED
CONCEPTUAL
GRAPHS
144
GERARD
ELLIS
A
DIRECT
PROOF
PROCEDURE
FOR
DEFINITE
CONCEPTUAL
GRAPH
PROGRAMS
158
BIKASH
CHANDRA
GHOSH
AND
VILAS
WUWONGSE
MACHINE
LEARNING
/
KNOWLEDGE
ACQUISITION
CONCEPTUAL
CLUSTERING
OF
COMPLEX
OBJECTS:
A
GENERALIZATION
SPACE
BASED
APPROACH
173
ISABELLE
BOUMAUD
AND
JEAN-GABRIEL
GANASCIA
USING
EMPIRICAL
SUBSUMPTION
TO
REDUCE
THE
SEARCH
SPACE
IN
LEARNING
188
MARC
CHAMPESME
HARDWARE
AND
IMPLEMENTATION
A
NEW
PARALLELIZATION
OF
SUBGRAPH
ISOMORPHISM
REFINEMENT
FOR
CLASSIFICATION
AND
RETRIEVAL
OF
CONCEPTUAL
STRUCTURES
202
JAMES
D.
ROBERTS
IX
HARDWARE
AND
IMPLEMENTATION
-
CONTINUED
TRANSPUTER
NETWORK
IMPLEMENTATION
OF
A
PARALLEL
PROJECTION
ALGORITHM
FOR
CONCEPTUAL
GRAPHS
217
ALFRED
CHAN
AND
PAVEL
KOCURA
SPANNING
TREE
REPRESENTATIONS
OF
GRAPHS
AND
ORDERS
IN
CONCEPTUAL
STRUCTURES
232
ANDREW
FALL
GRAPH
OPERATIONS
AN
IMPLEMENTATION
MODEL
FOR
CONTEXTS
AND
NEGATION
IN
CONCEPTUAL
GRAPHS
247
JOHN
ESCH
AND
ROBERT
LEVINSON
A
LINEAR
DESCRIPTOR
FOR
CONCEPTUAL
GRAPHS
AND
A
CLASS
FOR
POLYNOMIAL
ISOMORPHISM
TEST
263
O.
COGIS
AND
O.
GUINALDO
PROJECTION
AND
UNIFICATION
FOR
CONCEPTUAL
GRAPHS
278
M.
WILLEMS
A
NOVEL
ALGORITHM
FOR
MATCHING
CONCEPTUAL
AND
RELATED
GRAPHS
293
JONATHAN
POOLE
AND
J.A.CAMPBELL
ONTOLOGIES
AND
THEORY
ON
THE
ONTOLOGY
OF
KNOWLEDGE
GRAPHS
308
C.
HOEDE
CONCEPTUAL
GRAPHS
AND
FIRST-ORDER
LOGIC
323
MICHEL
WERMELINGER
EXISTENTIAL
GRAPHS
AND
DYNAMIC
PREDICATE
LOGIC
338
HARMEN
VAN
DEN
BERG
AUTHOR
INDEX
353 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010309755 |
| callnumber-first | Q - Science |
| callnumber-label | Q387 |
| callnumber-raw | Q387.2.I58 1995 |
| callnumber-search | Q387.2.I58 1995 |
| callnumber-sort | Q 3387.2 I58 41995 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 1995 SS 4800 |
| classification_tum | DAT 500f |
| ctrlnum | (OCoLC)633680847 (DE-599)BVBBV010309755 |
| dewey-full | 003/.5420 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 003 - Systems |
| dewey-raw | 003/.54 20 |
| dewey-search | 003/.54 20 |
| dewey-sort | 13 254 220 |
| 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">BV010309755</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19951130</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950717s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944823025</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540601619</subfield><subfield code="9">3-540-60161-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633680847</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010309755</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q387.2.I58 1995</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003/.54 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1995</subfield><subfield code="0">(DE-625)143432:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Conceptual structures</subfield><subfield code="b">applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings</subfield><subfield code="c">Gerard Ellis ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 352 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">Lecture notes in computer science</subfield><subfield code="v">954 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Conceptual structures (Information theory) -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph theory -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic diagrams -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</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">1995</subfield><subfield code="z">Santa Cruz Calif.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Begriffsgraph</subfield><subfield code="0">(DE-588)4314945-5</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">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ellis, Gerard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Conceptual Structures</subfield><subfield code="n">3</subfield><subfield code="d">1995</subfield><subfield code="c">Santa Cruz, Calif.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2148447-8</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">954 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">954 : Lecture</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=006861050&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006861050</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Santa Cruz Calif. gnd-content |
| genre_facet | Konferenzschrift 1995 Santa Cruz Calif. |
| id | DE-604.BV010309755 |
| illustrated | Illustrated |
| indexdate | 2024-08-14T00:30:26Z |
| institution | BVB |
| institution_GND | (DE-588)2148447-8 |
| isbn | 3540601619 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006861050 |
| oclc_num | 633680847 |
| open_access_boolean | |
| owner | DE-384 DE-739 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-824 DE-634 DE-83 DE-188 DE-11 DE-706 |
| owner_facet | DE-384 DE-739 DE-355 DE-BY-UBR DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-824 DE-634 DE-83 DE-188 DE-11 DE-706 |
| physical | IX, 352 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings Gerard Ellis ... (eds.) Berlin u.a. Springer 1995 IX, 352 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 954 : Lecture notes in artificial intelligence Conceptual structures (Information theory) -- Congresses Graph theory -- Congresses Logic diagrams -- Congresses Graphentheorie (DE-588)4113782-6 gnd rswk-swf Begriffsgraph (DE-588)4314945-5 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Santa Cruz Calif. gnd-content Begriffsgraph (DE-588)4314945-5 s DE-604 Wissensbasiertes System (DE-588)4197554-6 s Graphentheorie (DE-588)4113782-6 s Ellis, Gerard Sonstige oth International Conference on Conceptual Structures 3 1995 Santa Cruz, Calif. Sonstige (DE-588)2148447-8 oth Lecture notes in computer science 954 : Lecture notes in artificial intelligence (DE-604)BV000000607 954 : Lecture DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861050&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings Lecture notes in computer science Conceptual structures (Information theory) -- Congresses Graph theory -- Congresses Logic diagrams -- Congresses Graphentheorie (DE-588)4113782-6 gnd Begriffsgraph (DE-588)4314945-5 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| subject_GND | (DE-588)4113782-6 (DE-588)4314945-5 (DE-588)4197554-6 (DE-588)1071861417 |
| title | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings |
| title_auth | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings |
| title_exact_search | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings |
| title_full | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings Gerard Ellis ... (eds.) |
| title_fullStr | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings Gerard Ellis ... (eds.) |
| title_full_unstemmed | Conceptual structures applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings Gerard Ellis ... (eds.) |
| title_short | Conceptual structures |
| title_sort | conceptual structures applications implementation and theory 3rd international conference on conceptual structures iccs 95 santa cruz ca usa august 14 18 1995 proceedings |
| title_sub | applications, implementation and theory ; 3rd International Conference on Conceptual Structures, ICCS '95, Santa Cruz, CA, USA, August 14 - 18, 1995 ; proceedings |
| topic | Conceptual structures (Information theory) -- Congresses Graph theory -- Congresses Logic diagrams -- Congresses Graphentheorie (DE-588)4113782-6 gnd Begriffsgraph (DE-588)4314945-5 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| topic_facet | Conceptual structures (Information theory) -- Congresses Graph theory -- Congresses Logic diagrams -- Congresses Graphentheorie Begriffsgraph Wissensbasiertes System Konferenzschrift 1995 Santa Cruz Calif. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006861050&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ellisgerard conceptualstructuresapplicationsimplementationandtheory3rdinternationalconferenceonconceptualstructuresiccs95santacruzcausaaugust14181995proceedings AT internationalconferenceonconceptualstructuressantacruzcalif conceptualstructuresapplicationsimplementationandtheory3rdinternationalconferenceonconceptualstructuresiccs95santacruzcausaaugust14181995proceedings |