Special issue on first-order theorem proving: [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)]
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam [u.a.]
Elsevier
2012
|
| Schriftenreihe: | Journal of symbolic computation
47,9 |
| Schlagworte: | |
| Beschreibung: | Einzelaufnahme eines Zs.-Heftes |
| Beschreibung: | S. 1009 - 1135 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV041441473 | ||
| 003 | DE-604 | ||
| 005 | 20131216 | ||
| 007 | t | ||
| 008 | 131125s2012 |||| 10||| eng d | ||
| 035 | |a (OCoLC)839809112 | ||
| 035 | |a (DE-599)GBV719803470 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 245 | 1 | 0 | |a Special issue on first-order theorem proving |b [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] |c guest ed. Nicolas Peltier ... |
| 246 | 1 | 3 | |a First-order theorem proving |
| 264 | 1 | |a Amsterdam [u.a.] |b Elsevier |c 2012 | |
| 300 | |a S. 1009 - 1135 | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Journal of symbolic computation |v 47,9 | |
| 500 | |a Einzelaufnahme eines Zs.-Heftes | ||
| 650 | 0 | 7 | |a Theorem |0 (DE-588)4185093-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Oslo |2 gnd-content | |
| 689 | 0 | 0 | |a Theorem |0 (DE-588)4185093-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Peltier, Nicolas |d 1972- |e Sonstige |0 (DE-588)1023256193 |4 oth | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026888221 | ||
Datensatz im Suchindex
| _version_ | 1804151560659271680 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)1023256193 |
| building | Verbundindex |
| bvnumber | BV041441473 |
| ctrlnum | (OCoLC)839809112 (DE-599)GBV719803470 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01336nam a2200325 cb4500</leader><controlfield tag="001">BV041441473</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">131125s2012 |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839809112</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV719803470</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Special issue on first-order theorem proving</subfield><subfield code="b">[issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)]</subfield><subfield code="c">guest ed. Nicolas Peltier ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">First-order theorem proving</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">Elsevier</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">S. 1009 - 1135</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="0" ind2=" "><subfield code="a">Journal of symbolic computation</subfield><subfield code="v">47,9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Einzelaufnahme eines Zs.-Heftes</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorem</subfield><subfield code="0">(DE-588)4185093-2</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">2009</subfield><subfield code="z">Oslo</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theorem</subfield><subfield code="0">(DE-588)4185093-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Peltier, Nicolas</subfield><subfield code="d">1972-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1023256193</subfield><subfield code="4">oth</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026888221</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Oslo gnd-content |
| genre_facet | Konferenzschrift 2009 Oslo |
| id | DE-604.BV041441473 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:56:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026888221 |
| oclc_num | 839809112 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | S. 1009 - 1135 |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Elsevier |
| record_format | marc |
| series2 | Journal of symbolic computation |
| spelling | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] guest ed. Nicolas Peltier ... First-order theorem proving Amsterdam [u.a.] Elsevier 2012 S. 1009 - 1135 txt rdacontent n rdamedia nc rdacarrier Journal of symbolic computation 47,9 Einzelaufnahme eines Zs.-Heftes Theorem (DE-588)4185093-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Oslo gnd-content Theorem (DE-588)4185093-2 s DE-604 Peltier, Nicolas 1972- Sonstige (DE-588)1023256193 oth |
| spellingShingle | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] Theorem (DE-588)4185093-2 gnd |
| subject_GND | (DE-588)4185093-2 (DE-588)1071861417 |
| title | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] |
| title_alt | First-order theorem proving |
| title_auth | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] |
| title_exact_search | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] |
| title_full | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] guest ed. Nicolas Peltier ... |
| title_fullStr | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] guest ed. Nicolas Peltier ... |
| title_full_unstemmed | Special issue on first-order theorem proving [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] guest ed. Nicolas Peltier ... |
| title_short | Special issue on first-order theorem proving |
| title_sort | special issue on first order theorem proving issue initiated after the 7th international workshop on first order theorem proving ftp 2009 took place held in july 2009 in oslo norway co located with the 18th international conference on automated deduction with analytic tableaux and related methods tableaux 2009 |
| title_sub | [issue ... initiated after the 7th International Workshop on First-Order Theorem Proving (FTP 2009) took place ... held in July 2009, in Oslo, Norway ... co-located with the 18th International Conference on Automated Deduction with Analytic Tableaux and Related Methods (TABLEAUX 2009)] |
| topic | Theorem (DE-588)4185093-2 gnd |
| topic_facet | Theorem Konferenzschrift 2009 Oslo |
| work_keys_str_mv | AT peltiernicolas specialissueonfirstordertheoremprovingissueinitiatedafterthe7thinternationalworkshoponfirstordertheoremprovingftp2009tookplaceheldinjuly2009inoslonorwaycolocatedwiththe18thinternationalconferenceonautomateddeductionwithanalytictableauxandrelatedmethodstab AT peltiernicolas firstordertheoremproving |