First-order logic and automated theorem proving /

First-order logic and automated theorem proving / / Melvin Fitting.

Saved in:
Bibliographic Details
Superior document:Graduate texts in computer science
VerfasserIn:
Fitting, Melvin, 1942-
Place / Publishing House:New York : : Springer,, [1996]
1996
Year of Publication:1996
Edition:Second edition.
Language:English
Series:Graduate texts in computer science (Springer-Verlag New York Inc.)
Online Access:
Physical Description:1 online resource (336 pages) :; illustrations.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5003077179
ctrlnum (MiAaPQ)5003077179
(Au-PeEL)EBL3077179
(CaPaEBR)ebr10921017
(OCoLC)958526287
collection bib_alma
record_format marc
spelling Fitting, Melvin, 1942- author.
First-order logic and automated theorem proving / Melvin Fitting.
Second edition.
New York : Springer, [1996]
1996
1 online resource (336 pages) : illustrations.
text rdacontent
computer rdamedia
online resource rdacarrier
Graduate texts in computer science
Includes bibliographical references and index.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Automatic theorem proving.
Logic, Symbolic and mathematical.
Electronic books.
Print version: Fitting, Melvin. First-order logic and automated theorem proving. New York : Springer, [1996] xvi, 326 pages ; 25 cm. Graduate texts in computer science 9781461275152 (DLC) 95045225
ProQuest (Firm)
Graduate texts in computer science (Springer-Verlag New York Inc.)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3077179 Click to View
language English
format eBook
author Fitting, Melvin, 1942-
spellingShingle Fitting, Melvin, 1942-
First-order logic and automated theorem proving /
Graduate texts in computer science
author_facet Fitting, Melvin, 1942-
author_variant m f mf
author_role VerfasserIn
author_sort Fitting, Melvin, 1942-
title 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_auth First-order logic and automated theorem proving /
title_new First-order logic and automated theorem proving /
title_sort first-order logic and automated theorem proving /
series Graduate texts in computer science
series2 Graduate texts in computer science
publisher Springer,
publishDate 1996
physical 1 online resource (336 pages) : illustrations.
edition Second edition.
isbn 9781461223603 (e-book)
9781461275152
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A96 F68 41996
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3077179
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 958526287
work_keys_str_mv AT fittingmelvin firstorderlogicandautomatedtheoremproving
status_str n
ids_txt_mv (MiAaPQ)5003077179
(Au-PeEL)EBL3077179
(CaPaEBR)ebr10921017
(OCoLC)958526287
hierarchy_parent_title Graduate texts in computer science
is_hierarchy_title First-order logic and automated theorem proving /
container_title Graduate texts in computer science
_version_ 1792330842315423744
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01905nam a2200457 i 4500</leader><controlfield tag="001">5003077179</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">951023t19961996nyua ob 001 0 eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0387945938 (New York : hardcover : alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781461275152</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461223603 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5003077179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL3077179</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10921017</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)958526287</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A96</subfield><subfield code="b">F68 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">20</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fitting, Melvin,</subfield><subfield code="d">1942-</subfield><subfield code="e">author.</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">Second edition.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York :</subfield><subfield code="b">Springer,</subfield><subfield code="c">[1996]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (336 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Graduate texts in computer science</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic, Symbolic and mathematical.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Fitting, Melvin.</subfield><subfield code="t">First-order logic and automated theorem proving.</subfield><subfield code="d">New York : Springer, [1996]</subfield><subfield code="h">xvi, 326 pages ; 25 cm.</subfield><subfield code="k">Graduate texts in computer science</subfield><subfield code="z">9781461275152</subfield><subfield code="w">(DLC) 95045225 </subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Graduate texts in computer science (Springer-Verlag New York Inc.)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=3077179</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items