First order logic and automated theorem proving:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York u.a.
Springer
1990
|
| Schriftenreihe: | Texts and monographs in computer science
|
| Schlagworte: | |
| Beschreibung: | WST: First-order logic and automated theorem proving |
| Beschreibung: | XIII, 242 S. graph. Darst. |
| ISBN: | 3540972331 0387972331 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV003714950 | ||
| 003 | DE-604 | ||
| 005 | 20030312 | ||
| 007 | t | ||
| 008 | 900813s1990 d||| |||| 00||| eng d | ||
| 020 | |a 3540972331 |9 3-540-97233-1 | ||
| 020 | |a 0387972331 |9 0-387-97233-1 | ||
| 035 | |a (OCoLC)20828057 | ||
| 035 | |a (DE-599)BVBBV003714950 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-384 |a DE-20 |a DE-19 |a DE-29T |a DE-210 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.A96 | |
| 082 | 0 | |a 511.3 |2 20 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Fitting, Melvin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a First order logic and automated theorem proving |c Melvin Fitting |
| 246 | 1 | 3 | |a First-order logic and automated theorem proving |
| 264 | 1 | |a New York u.a. |b Springer |c 1990 | |
| 300 | |a XIII, 242 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 500 | |a WST: First-order logic and automated theorem proving | ||
| 650 | 7 | |a Automatische bewijsvoering |2 gtt | |
| 650 | 7 | |a Logique symbolique et mathématique |2 ram | |
| 650 | 7 | |a Théorèmes - Démonstration automatique |2 ram | |
| 650 | 7 | |a calcul propositionnel |2 inriac | |
| 650 | 7 | |a démonstration théorème |2 inriac | |
| 650 | 7 | |a logique 1er ordre |2 inriac | |
| 650 | 7 | |a logique mathématique |2 inriac | |
| 650 | 7 | |a logique symbolique |2 inriac | |
| 650 | 7 | |a tableau sémantique |2 inriac | |
| 650 | 7 | |a égalité |2 inriac | |
| 650 | 4 | |a Automatic theorem proving | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Stufe 1 |0 (DE-588)4362503-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 1 | |a Stufe 1 |0 (DE-588)4362503-4 |D s |
| 689 | 0 | 2 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-188 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002364696 | ||
Datensatz im Suchindex
| _version_ | 1804118059803213824 |
|---|---|
| any_adam_object | |
| author | Fitting, Melvin |
| author_facet | Fitting, Melvin |
| author_role | aut |
| author_sort | Fitting, Melvin |
| author_variant | m f mf |
| building | Verbundindex |
| bvnumber | BV003714950 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96 |
| callnumber-search | QA76.9.A96 |
| callnumber-sort | QA 276.9 A96 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 ST 304 |
| classification_tum | MAT 030f DAT 706f DAT 540f |
| ctrlnum | (OCoLC)20828057 (DE-599)BVBBV003714950 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02433nam a2200661 c 4500</leader><controlfield tag="001">BV003714950</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030312 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900813s1990 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540972331</subfield><subfield code="9">3-540-97233-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387972331</subfield><subfield code="9">0-387-97233-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20828057</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV003714950</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.A96</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">First order logic and automated theorem proving</subfield><subfield code="c">Melvin Fitting</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">First-order logic and automated theorem proving</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 242 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="0" ind2=" "><subfield code="a">Texts and monographs in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">WST: First-order logic and automated theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Automatische bewijsvoering</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logique symbolique et mathématique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Théorèmes - Démonstration automatique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">calcul propositionnel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">démonstration théorème</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique 1er ordre</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique mathématique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique symbolique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">tableau sémantique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">égalité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Stufe 1</subfield><subfield code="0">(DE-588)4362503-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002364696</subfield></datafield></record></collection> |
| id | DE-604.BV003714950 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:04:17Z |
| institution | BVB |
| isbn | 3540972331 0387972331 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002364696 |
| oclc_num | 20828057 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-384 DE-20 DE-19 DE-BY-UBM DE-29T DE-210 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-384 DE-20 DE-19 DE-BY-UBM DE-29T DE-210 DE-83 DE-11 DE-188 |
| physical | XIII, 242 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Springer |
| record_format | marc |
| series2 | Texts and monographs in computer science |
| spelling | Fitting, Melvin Verfasser aut First order logic and automated theorem proving Melvin Fitting First-order logic and automated theorem proving New York u.a. Springer 1990 XIII, 242 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in computer science WST: First-order logic and automated theorem proving Automatische bewijsvoering gtt Logique symbolique et mathématique ram Théorèmes - Démonstration automatique ram calcul propositionnel inriac démonstration théorème inriac logique 1er ordre inriac logique mathématique inriac logique symbolique inriac tableau sémantique inriac égalité inriac Automatic theorem proving Logic, Symbolic and mathematical Stufe 1 (DE-588)4362503-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 s Stufe 1 (DE-588)4362503-4 s Automatisches Beweisverfahren (DE-588)4069034-9 s DE-604 Mathematische Logik (DE-588)4037951-6 s DE-188 |
| spellingShingle | Fitting, Melvin First order logic and automated theorem proving Automatische bewijsvoering gtt Logique symbolique et mathématique ram Théorèmes - Démonstration automatique ram calcul propositionnel inriac démonstration théorème inriac logique 1er ordre inriac logique mathématique inriac logique symbolique inriac tableau sémantique inriac égalité inriac Automatic theorem proving Logic, Symbolic and mathematical Stufe 1 (DE-588)4362503-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4362503-4 (DE-588)4037951-6 (DE-588)4069034-9 (DE-588)4046974-8 |
| title | First order logic and automated theorem proving |
| title_alt | First-order logic and automated theorem proving |
| title_auth | First order logic and automated theorem proving |
| title_exact_search | First order logic and automated theorem proving |
| title_full | First order logic and automated theorem proving Melvin Fitting |
| title_fullStr | First order logic and automated theorem proving Melvin Fitting |
| title_full_unstemmed | First order logic and automated theorem proving Melvin Fitting |
| title_short | First order logic and automated theorem proving |
| title_sort | first order logic and automated theorem proving |
| topic | Automatische bewijsvoering gtt Logique symbolique et mathématique ram Théorèmes - Démonstration automatique ram calcul propositionnel inriac démonstration théorème inriac logique 1er ordre inriac logique mathématique inriac logique symbolique inriac tableau sémantique inriac égalité inriac Automatic theorem proving Logic, Symbolic and mathematical Stufe 1 (DE-588)4362503-4 gnd Mathematische Logik (DE-588)4037951-6 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Automatische bewijsvoering Logique symbolique et mathématique Théorèmes - Démonstration automatique calcul propositionnel démonstration théorème logique 1er ordre logique mathématique logique symbolique tableau sémantique égalité Automatic theorem proving Logic, Symbolic and mathematical Stufe 1 Mathematische Logik Automatisches Beweisverfahren Prädikatenlogik |
| work_keys_str_mv | AT fittingmelvin firstorderlogicandautomatedtheoremproving |