Availability: A consequence finding approach for feature recognition in CAPP

Saved in:

Bibliographic Details
Main Author:	Hinkelmann, Knut ca. 20./21. Jh (Author)
Format:	Book
Language:	German
Published:	Kaiserslautern 1994
Series:	Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report 1994,11
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006845988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Item Description:	Literaturtverz. S. 16 - 18
Physical Description:	18 S. Ill., graph. Darst.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV010290275
003	DE-604
005	20231017
007	t\|
008	950626s1994 gw ad\|\| t\|\|\| 00\|\|\| ger d
016	7		\|a 944355781 \|2 DE-101
035			\|a (OCoLC)75560910
035			\|a (DE-599)BVBBV010290275
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-29T
088			\|a DFKI RR 94 11
100	1		\|a Hinkelmann, Knut \|d ca. 20./21. Jh. \|e Verfasser \|0 (DE-588)1306303516 \|4 aut
245	1	0	\|a A consequence finding approach for feature recognition in CAPP \|c Knut Hinkelmann
264		1	\|a Kaiserslautern \|c 1994
300			\|a 18 S. \|b Ill., graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report \|v 1994,11
500			\|a Literaturtverz. S. 16 - 18
830		0	\|a Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report \|v 1994,11 \|w (DE-604)BV008904517 \|9 1994,11
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=006845988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006845988

Record in the Search Index

_version_	1826205298781585408
adam_text	CONTENTS 1 INTRODUCTION 3 2 FEATURE RECOGNITION 4 3 INTEGRITY CONSTRAINTS 7 4 CONSEQUENCE FINDING 9 5 HOW TO IMPLEMENT CONSEQUENCE FINDING 10 5.1 GENERALIZED MAGIE SETS REWRITING . 11 5.2 CONSEQUENCE-FINDING TRANSFORMATION . 12 5.3 SPECIFYING INITIAL FACTS . 14 6 CONCLUSION 16
any_adam_object	1
author	Hinkelmann, Knut ca. 20./21. Jh
author_GND	(DE-588)1306303516
author_facet	Hinkelmann, Knut ca. 20./21. Jh
author_role	aut
author_sort	Hinkelmann, Knut ca. 20./21. Jh
author_variant	k h kh
building	Verbundindex
bvnumber	BV010290275
ctrlnum	(OCoLC)75560910 (DE-599)BVBBV010290275
format	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">BV010290275</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231017</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">950626s1994 gw ad\|\| t\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">944355781</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75560910</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010290275</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">ger</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-29T</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">DFKI RR 94 11</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hinkelmann, Knut</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1306303516</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A consequence finding approach for feature recognition in CAPP</subfield><subfield code="c">Knut Hinkelmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Kaiserslautern</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">18 S.</subfield><subfield code="b">Ill., 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">Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report</subfield><subfield code="v">1994,11</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturtverz. S. 16 - 18</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report</subfield><subfield code="v">1994,11</subfield><subfield code="w">(DE-604)BV008904517</subfield><subfield code="9">1994,11</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=006845988&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-006845988</subfield></datafield></record></collection>
id	DE-604.BV010290275
illustrated	Illustrated
indexdate	2025-03-10T11:11:29Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006845988
oclc_num	75560910
open_access_boolean
owner	DE-29T
owner_facet	DE-29T
physical	18 S. Ill., graph. Darst.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
record_format	marc
series	Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report
series2	Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report
spelling	Hinkelmann, Knut ca. 20./21. Jh. Verfasser (DE-588)1306303516 aut A consequence finding approach for feature recognition in CAPP Knut Hinkelmann Kaiserslautern 1994 18 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report 1994,11 Literaturtverz. S. 16 - 18 Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report 1994,11 (DE-604)BV008904517 1994,11 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006845988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Hinkelmann, Knut ca. 20./21. Jh A consequence finding approach for feature recognition in CAPP Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report
title	A consequence finding approach for feature recognition in CAPP
title_auth	A consequence finding approach for feature recognition in CAPP
title_exact_search	A consequence finding approach for feature recognition in CAPP
title_full	A consequence finding approach for feature recognition in CAPP Knut Hinkelmann
title_fullStr	A consequence finding approach for feature recognition in CAPP Knut Hinkelmann
title_full_unstemmed	A consequence finding approach for feature recognition in CAPP Knut Hinkelmann
title_short	A consequence finding approach for feature recognition in CAPP
title_sort	a consequence finding approach for feature recognition in capp
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006845988&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV008904517
work_keys_str_mv	AT hinkelmannknut aconsequencefindingapproachforfeaturerecognitionincapp

Availability

‌

Order via interlibrary loan
Table of Contents