Availability: IPSE 2.5 | Technische Universität München

IPSE 2.5: review of existing theorem provers

Saved in:

Bibliographic Details
Main Authors:	Lindsay, Peter A. (Author), Moore, Richard C. (Author), Ritchie, Brian (Author)
Format:	Book
Language:	English
Published:	Manchester Univ. 1987
Series:	Technical report series / University of Manchester, Department of Computer Science.
Physical Description:	68 S. graph. Darst.

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV035579176
003	DE-604
005	00000000000000.0
007	t\|
008	090623s1987 xx d\|\|\| \|\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)634887962
035			\|a (DE-599)BVBBV035579176
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G
100	1		\|a Lindsay, Peter A. \|e Verfasser \|4 aut
245	1	0	\|a IPSE 2.5 \|b review of existing theorem provers
246	1	3	\|a Review of existing theorem provers
246	1	3	\|a Reportnr. UMCS 87 8 2
264		1	\|a Manchester \|b Univ. \|c 1987
300			\|a 68 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Technical report series / University of Manchester, Department of Computer Science.
700	1		\|a Moore, Richard C. \|e Verfasser \|4 aut
700	1		\|a Ritchie, Brian \|e Verfasser \|4 aut
943	1		\|a oai:aleph.bib-bvb.de:BVB01-017634614

Record in the Search Index

DE-BY-TUM_call_number	0111 2001 B 6076-1987,8,2
DE-BY-TUM_katkey	1695973
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010130244
_version_	1821933693134962689
any_adam_object
author	Lindsay, Peter A. Moore, Richard C. Ritchie, Brian
author_facet	Lindsay, Peter A. Moore, Richard C. Ritchie, Brian
author_role	aut aut aut
author_sort	Lindsay, Peter A.
author_variant	p a l pa pal r c m rc rcm b r br
building	Verbundindex
bvnumber	BV035579176
ctrlnum	(OCoLC)634887962 (DE-599)BVBBV035579176
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00939nam a2200301 c 4500</leader><controlfield tag="001">BV035579176</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">090623s1987 xx d\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634887962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035579176</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></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lindsay, Peter A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">IPSE 2.5</subfield><subfield code="b">review of existing theorem provers</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Review of existing theorem provers</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reportnr. UMCS 87 8 2</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Manchester</subfield><subfield code="b">Univ.</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">68 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">Technical report series / University of Manchester, Department of Computer Science.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Moore, Richard C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ritchie, Brian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017634614</subfield></datafield></record></collection>
id	DE-604.BV035579176
illustrated	Illustrated
indexdate	2024-12-20T13:38:16Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-017634614
oclc_num	634887962
open_access_boolean
owner	DE-91G DE-BY-TUM
owner_facet	DE-91G DE-BY-TUM
physical	68 S. graph. Darst.
publishDate	1987
publishDateSearch	1987
publishDateSort	1987
publisher	Univ.
record_format	marc
series2	Technical report series / University of Manchester, Department of Computer Science.
spellingShingle	Lindsay, Peter A. Moore, Richard C. Ritchie, Brian IPSE 2.5 review of existing theorem provers
title	IPSE 2.5 review of existing theorem provers
title_alt	Review of existing theorem provers Reportnr. UMCS 87 8 2
title_auth	IPSE 2.5 review of existing theorem provers
title_exact_search	IPSE 2.5 review of existing theorem provers
title_full	IPSE 2.5 review of existing theorem provers
title_fullStr	IPSE 2.5 review of existing theorem provers
title_full_unstemmed	IPSE 2.5 review of existing theorem provers
title_short	IPSE 2.5
title_sort	ipse 2 5 review of existing theorem provers
title_sub	review of existing theorem provers
work_keys_str_mv	AT lindsaypetera ipse25reviewofexistingtheoremprovers AT moorerichardc ipse25reviewofexistingtheoremprovers AT ritchiebrian ipse25reviewofexistingtheoremprovers AT lindsaypetera reviewofexistingtheoremprovers AT moorerichardc reviewofexistingtheoremprovers AT ritchiebrian reviewofexistingtheoremprovers AT lindsaypetera reportnrumcs8782 AT moorerichardc reportnrumcs8782 AT ritchiebrian reportnrumcs8782

Availability

Order (Login required)

Order paper/chapter scan

Branch Library Mathematics & Informatics, Reports

Holdings details from Teilbibliothek Mathematik & Informatik, Berichte
Call Number:	0111 2001 B 6076-1987,8,2 Floor plan
Copy 1	Available for loan On Shelf