Availability: The TPTP problem library | Technische Universität München

The TPTP problem library:

Saved in:

Bibliographic Details
Main Authors:	Suttner, Christian B. (Author), Sutcliffe, Geoff (Author), Yemenis, Theodoros (Author)
Format:	Book
Language:	German
Published:	München Inst. für Informatik 1993
Series:	Forschungsberichte künstliche Intelligenz 184
Links:	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006442496&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Item Description:	Literaturverz. S. 95 - 102
Physical Description:	103 S. graph. Darst.

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV009741598
003	DE-604
005	19950321
007	t\|
008	940725s1993 gw d\|\|\| t\|\|\| 00\|\|\| ger d
016	7		\|a 941554627 \|2 DE-101
035			\|a (OCoLC)75484400
035			\|a (DE-599)BVBBV009741598
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-91G
088			\|a FKI 184 93
100	1		\|a Suttner, Christian B. \|e Verfasser \|4 aut
245	1	0	\|a The TPTP problem library \|c Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis
264		1	\|a München \|b Inst. für Informatik \|c 1993
300			\|a 103 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Forschungsberichte künstliche Intelligenz \|v 184
500			\|a Literaturverz. S. 95 - 102
700	1		\|a Sutcliffe, Geoff \|e Verfasser \|4 aut
700	1		\|a Yemenis, Theodoros \|e Verfasser \|4 aut
830		0	\|a Forschungsberichte künstliche Intelligenz \|v 184 \|w (DE-604)BV008930053 \|9 184
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006442496&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006442496

Record in the Search Index

DE-BY-TUM_call_number	0111 2001 B 6082-184
DE-BY-TUM_katkey	1689918
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010375476
_version_	1821933652224770050
any_adam_object	1
author	Suttner, Christian B. Sutcliffe, Geoff Yemenis, Theodoros
author_facet	Suttner, Christian B. Sutcliffe, Geoff Yemenis, Theodoros
author_role	aut aut aut
author_sort	Suttner, Christian B.
author_variant	c b s cb cbs g s gs t y ty
building	Verbundindex
bvnumber	BV009741598
ctrlnum	(OCoLC)75484400 (DE-599)BVBBV009741598
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01339nam a2200349 cb4500</leader><controlfield tag="001">BV009741598</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950321 </controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">940725s1993 gw d\|\|\| t\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941554627</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75484400</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009741598</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">FKI 184 93</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Suttner, Christian B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The TPTP problem library</subfield><subfield code="c">Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Inst. für Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">103 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="1" ind2=" "><subfield code="a">Forschungsberichte künstliche Intelligenz</subfield><subfield code="v">184</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 95 - 102</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sutcliffe, Geoff</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yemenis, Theodoros</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschungsberichte künstliche Intelligenz</subfield><subfield code="v">184</subfield><subfield code="w">(DE-604)BV008930053</subfield><subfield code="9">184</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006442496&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006442496</subfield></datafield></record></collection>
id	DE-604.BV009741598
illustrated	Illustrated
indexdate	2024-12-20T09:41:25Z
institution	BVB
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006442496
oclc_num	75484400
open_access_boolean
owner	DE-12 DE-91G DE-BY-TUM
owner_facet	DE-12 DE-91G DE-BY-TUM
physical	103 S. graph. Darst.
publishDate	1993
publishDateSearch	1993
publishDateSort	1993
publisher	Inst. für Informatik
record_format	marc
series	Forschungsberichte künstliche Intelligenz
series2	Forschungsberichte künstliche Intelligenz
spellingShingle	Suttner, Christian B. Sutcliffe, Geoff Yemenis, Theodoros The TPTP problem library Forschungsberichte künstliche Intelligenz
title	The TPTP problem library
title_auth	The TPTP problem library
title_exact_search	The TPTP problem library
title_full	The TPTP problem library Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis
title_fullStr	The TPTP problem library Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis
title_full_unstemmed	The TPTP problem library Christian Suttner ; Geoff Sutcliffe ; Theodor Yemenis
title_short	The TPTP problem library
title_sort	the tptp problem library
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006442496&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV008930053
work_keys_str_mv	AT suttnerchristianb thetptpproblemlibrary AT sutcliffegeoff thetptpproblemlibrary AT yemenistheodoros thetptpproblemlibrary

Availability

Order (Login required)

Table of Contents
Order paper/chapter scan

Branch Library Mathematics & Informatics, Reports

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