First-order logic and automated theorem proving:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Springer
1990
|
| Ausgabe: | 1. print. |
| Schriftenreihe: | Texts and monographs in computer science
|
| Schlagworte: | |
| Beschreibung: | XIII, 242 S. |
| ISBN: | 0387972331 3540972331 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021895776 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 910214s1990 |||| 00||| eng d | ||
| 020 | |a 0387972331 |9 0-387-97233-1 | ||
| 020 | |a 3540972331 |9 3-540-97233-1 | ||
| 035 | |a (OCoLC)20828057 | ||
| 035 | |a (DE-599)BVBBV021895776 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 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 | ||
| 100 | 1 | |a Fitting, Melvin |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a First-order logic and automated theorem proving |c Melvin Fitting |
| 250 | |a 1. print. | ||
| 264 | 1 | |a New York [u.a.] |b Springer |c 1990 | |
| 300 | |a XIII, 242 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Texts and monographs in computer science | |
| 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 Automatisches Beweisverfahren |0 (DE-588)4069034-9 |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 Stufe 1 |0 (DE-588)4362503-4 |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 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015110961 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135840381665280 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Fitting, Melvin |
| author_facet | Fitting, Melvin |
| author_role | aut |
| author_sort | Fitting, Melvin |
| author_variant | m f mf |
| building | Verbundindex |
| bvnumber | BV021895776 |
| 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 |
| ctrlnum | (OCoLC)20828057 (DE-599)BVBBV021895776 |
| 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 |
| discipline_str_mv | Informatik Mathematik |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02327nam a2200637zc 4500</leader><controlfield tag="001">BV021895776</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910214s1990 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387972331</subfield><subfield code="9">0-387-97233-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540972331</subfield><subfield code="9">3-540-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)BVBBV021895776</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="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="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="250" ind1=" " ind2=" "><subfield code="a">1. print.</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></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="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">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">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">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">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="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015110961</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021895776 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:22Z |
| indexdate | 2024-07-09T20:46:54Z |
| institution | BVB |
| isbn | 0387972331 3540972331 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015110961 |
| oclc_num | 20828057 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XIII, 242 S. |
| 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 1. print. New York [u.a.] Springer 1990 XIII, 242 S. txt rdacontent n rdamedia nc rdacarrier Texts and monographs in computer science 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 Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Stufe 1 (DE-588)4362503-4 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 1\p DE-604 Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| 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 Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Stufe 1 (DE-588)4362503-4 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4069034-9 (DE-588)4037951-6 (DE-588)4362503-4 (DE-588)4046974-8 |
| title | 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_exact_search_txtP | 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 Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Stufe 1 (DE-588)4362503-4 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 Automatisches Beweisverfahren Mathematische Logik Stufe 1 Prädikatenlogik |
| work_keys_str_mv | AT fittingmelvin firstorderlogicandautomatedtheoremproving |