Controlling deduction through declarative constructs:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Schriftenreihe |
| Sprache: | Undetermined |
| Veröffentlicht: |
Sankt Augustin
Gesellschaft für Mathematik und Datenverarbeitung
1993
|
| Schriftenreihe: | Arbeitspapiere der GMD
751 |
| Schlagworte: | |
| Beschreibung: | 21 S. |
| ISSN: | 0723-0508 |
Internformat
MARC
| LEADER | 00000nas a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV025995143 | ||
| 003 | DE-604 | ||
| 005 | 20080117000000.0 | ||
| 007 | t | ||
| 008 | 930830c19939999 || m| |||| 0 ||und d | ||
| 022 | |a 0723-0508 |2 6 | ||
| 035 | |a (DE-599)BVBBV025995143 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | |a und | ||
| 100 | 1 | |a Goltz, Hans-Joachim |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Controlling deduction through declarative constructs |c Hans-Joachim Goltz |
| 264 | 1 | |a Sankt Augustin |b Gesellschaft für Mathematik und Datenverarbeitung |c 1993 | |
| 300 | |a 21 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Arbeitspapiere der GMD |v 751 | |
| 655 | 7 | |0 (DE-588)4179998-7 |a Monografische Reihe |2 gnd-content | |
| 830 | 0 | |a Arbeitspapiere der GMD |v 751 |w (DE-604)BV000613796 |9 751 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020355225 | ||
Datensatz im Suchindex
| _version_ | 1804142985228582912 |
|---|---|
| any_adam_object | |
| author | Goltz, Hans-Joachim |
| author_facet | Goltz, Hans-Joachim |
| author_role | aut |
| author_sort | Goltz, Hans-Joachim |
| author_variant | h j g hjg |
| building | Verbundindex |
| bvnumber | BV025995143 |
| ctrlnum | (DE-599)BVBBV025995143 |
| format | Serial |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00859nas a2200265zc 4500</leader><controlfield tag="001">BV025995143</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080117000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930830c19939999 || m| |||| 0 ||und d</controlfield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">0723-0508</subfield><subfield code="2">6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV025995143</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goltz, Hans-Joachim</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Controlling deduction through declarative constructs</subfield><subfield code="c">Hans-Joachim Goltz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">Gesellschaft für Mathematik und Datenverarbeitung</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 S.</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">Arbeitspapiere der GMD</subfield><subfield code="v">751</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4179998-7</subfield><subfield code="a">Monografische Reihe</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Arbeitspapiere der GMD</subfield><subfield code="v">751</subfield><subfield code="w">(DE-604)BV000613796</subfield><subfield code="9">751</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020355225</subfield></datafield></record></collection> |
| genre | (DE-588)4179998-7 Monografische Reihe gnd-content |
| genre_facet | Monografische Reihe |
| id | DE-604.BV025995143 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:40:28Z |
| institution | BVB |
| issn | 0723-0508 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020355225 |
| open_access_boolean | |
| physical | 21 S. |
| publishDate | 1993 |
| publishDateSearch | 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 8888 |
| publishDateSort | 2024 |
| publisher | Gesellschaft für Mathematik und Datenverarbeitung |
| record_format | marc |
| series | Arbeitspapiere der GMD |
| series2 | Arbeitspapiere der GMD |
| spelling | Goltz, Hans-Joachim Verfasser aut Controlling deduction through declarative constructs Hans-Joachim Goltz Sankt Augustin Gesellschaft für Mathematik und Datenverarbeitung 1993 21 S. txt rdacontent n rdamedia nc rdacarrier Arbeitspapiere der GMD 751 (DE-588)4179998-7 Monografische Reihe gnd-content Arbeitspapiere der GMD 751 (DE-604)BV000613796 751 |
| spellingShingle | Goltz, Hans-Joachim Controlling deduction through declarative constructs Arbeitspapiere der GMD |
| subject_GND | (DE-588)4179998-7 |
| title | Controlling deduction through declarative constructs |
| title_auth | Controlling deduction through declarative constructs |
| title_exact_search | Controlling deduction through declarative constructs |
| title_full | Controlling deduction through declarative constructs Hans-Joachim Goltz |
| title_fullStr | Controlling deduction through declarative constructs Hans-Joachim Goltz |
| title_full_unstemmed | Controlling deduction through declarative constructs Hans-Joachim Goltz |
| title_short | Controlling deduction through declarative constructs |
| title_sort | controlling deduction through declarative constructs |
| topic_facet | Monografische Reihe |
| volume_link | (DE-604)BV000613796 |
| work_keys_str_mv | AT goltzhansjoachim controllingdeductionthroughdeclarativeconstructs |