Proof technology and computation

Proof technology and computation / edited by Helmut Schwichtenberg and Katharina Spies.

Saved in:
Bibliographic Details
Superior document:NATO science series. Series III, Computer and systems sciences, v. 200
:
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
TeilnehmendeR:
Schwichtenberg, Helmut, 1942-
Spies, Katharina.
ProQuest (Firm)
Year of Publication:2006
Language:English
Series:NATO science series. Computer and systems sciences ; v. 200.
Online Access:
Physical Description:vii, 445 p.
Notes:
  • "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
  • "Published in cooperation with NATO Public Diplomacy Division."
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500267724
ctrlnum (MiAaPQ)500267724
(Au-PeEL)EBL267724
(CaPaEBR)ebr10152502
(CaONFJC)MIL54767
(OCoLC)71214605
collection bib_alma
record_format marc
spelling NATO Advanced Study Institute on Proof Technology and Computation (2003 : Marktoberdorf, Germany)
Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
Amsterdam ; Washington, DC : IOS Press, c2006.
vii, 445 p.
NATO science series. Series III, Computer and systems sciences, 1387-6694 ; v. 200
"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.
"Published in cooperation with NATO Public Diplomacy Division."
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Automatic theorem proving Congresses.
Computer programming Congresses.
Computer software Development Congresses.
Electronic books.
Schwichtenberg, Helmut, 1942-
Spies, Katharina.
ProQuest (Firm)
NATO science series. Series III, Computer and systems sciences ; v. 200.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267724 Click to View
language English
format Electronic
Conference Proceeding
eBook
author2 Schwichtenberg, Helmut, 1942-
Spies, Katharina.
ProQuest (Firm)
author_facet Schwichtenberg, Helmut, 1942-
Spies, Katharina.
ProQuest (Firm)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
ProQuest (Firm)
author2_variant h s hs
k s ks
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
ProQuest (Firm)
author_sort NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
title Proof technology and computation
spellingShingle Proof technology and computation
NATO science series. Series III, Computer and systems sciences,
title_full Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
title_fullStr Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
title_full_unstemmed Proof technology and computation [electronic resource] / edited by Helmut Schwichtenberg and Katharina Spies.
title_auth Proof technology and computation
title_new Proof technology and computation
title_sort proof technology and computation
series NATO science series. Series III, Computer and systems sciences,
series2 NATO science series. Series III, Computer and systems sciences,
publisher IOS Press,
publishDate 2006
physical vii, 445 p.
issn 1387-6694 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A96 N38 42006
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267724
illustrated Not 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 71214605
work_keys_str_mv AT natoadvancedstudyinstituteonprooftechnologyandcomputationmarktoberdorfgermany prooftechnologyandcomputation
AT schwichtenberghelmut prooftechnologyandcomputation
AT spieskatharina prooftechnologyandcomputation
AT proquestfirm prooftechnologyandcomputation
status_str n
ids_txt_mv (MiAaPQ)500267724
(Au-PeEL)EBL267724
(CaPaEBR)ebr10152502
(CaONFJC)MIL54767
(OCoLC)71214605
hierarchy_parent_title NATO science series. Series III, Computer and systems sciences, v. 200
hierarchy_sequence v. 200.
is_hierarchy_title Proof technology and computation
container_title NATO science series. Series III, Computer and systems sciences, v. 200
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
_version_ 1792330673309089793
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01980nam a2200445Ia 4500</leader><controlfield tag="001">500267724</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">070104s2006 ne sb 101 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586036254</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586036256</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="z">9781586036256</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500267724</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL267724</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10152502</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL54767</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71214605</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</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">N38 2006</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Study Institute on Proof Technology and Computation</subfield><subfield code="d">(2003 :</subfield><subfield code="c">Marktoberdorf, Germany)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof technology and computation</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Helmut Schwichtenberg and Katharina Spies.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, DC :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">c2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vii, 445 p.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO science series. Series III, Computer and systems sciences,</subfield><subfield code="x">1387-6694 ;</subfield><subfield code="v">v. 200</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--T.p. verso.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Published in cooperation with NATO Public Diplomacy Division."</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. 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><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programming</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Development</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schwichtenberg, Helmut,</subfield><subfield code="d">1942-</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Spies, Katharina.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO science series.</subfield><subfield code="n">Series III,</subfield><subfield code="p">Computer and systems sciences ;</subfield><subfield code="v">v. 200.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=267724</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items