Verfügbarkeit: Wu Wenjun quan ji

Wu Wenjun quan ji: Shu xue ji xie hua juan er Mechanical theorem proving in geometries: basic principles

数学机械化卷二

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wu, Wenjun 1919-2017 (VerfasserIn)
Format:	Buch
Sprache:	Chinese
Veröffentlicht:	Beijing Long men shu ju 2019
Beschreibung:	12, 288 Seiten
ISBN:	9787508855516

Internformat

MARC


LEADER	00000nam a2200000 cc4500
001	BV047576009
003	DE-604
005	20211130
007	t
008	211108s2019 \|\|\|\| 00\|\|\| chi d
020			\|a 9787508855516 \|9 978-7-5088-5551-6
035			\|a (OCoLC)1286877712
035			\|a (DE-599)BVBBV047576009
040			\|a DE-604 \|b ger \|e rda
041	0		\|a chi
049			\|a DE-29
100	1		\|a Wu, Wenjun \|d 1919-2017 \|e Verfasser \|0 (DE-588)111549116 \|4 aut
245	1	0	\|6 880-01 \|a Wu Wenjun quan ji \|n Shu xue ji xie hua juan er \|p Mechanical theorem proving in geometries: basic principles \|c Wu Wenjun
264		1	\|a Beijing \|b Long men shu ju \|c 2019
300			\|a 12, 288 Seiten
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
773	0	8	\|w (DE-604)BV047575906 \|g Mathematics mechanization, 2
880	1	0	\|6 245-01/$1 \|n 数学机械化卷二
940	1		\|f chin
999			\|a oai:aleph.bib-bvb.de:BVB01-032961502

Datensatz im Suchindex

_version_	1804182925532463104
adam_txt
any_adam_object
any_adam_object_boolean
author	Wu, Wenjun 1919-2017
author_GND	(DE-588)111549116
author_facet	Wu, Wenjun 1919-2017
author_role	aut
author_sort	Wu, Wenjun 1919-2017
author_variant	w w ww
building	Verbundindex
bvnumber	BV047576009
ctrlnum	(OCoLC)1286877712 (DE-599)BVBBV047576009
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00934nam a2200289 cc4500</leader><controlfield tag="001">BV047576009</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211130 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">211108s2019 \|\|\|\| 00\|\|\| chi d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9787508855516</subfield><subfield code="9">978-7-5088-5551-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1286877712</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047576009</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">chi</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wu, Wenjun</subfield><subfield code="d">1919-2017</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)111549116</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="6">880-01</subfield><subfield code="a">Wu Wenjun quan ji</subfield><subfield code="n">Shu xue ji xie hua juan er</subfield><subfield code="p">Mechanical theorem proving in geometries: basic principles</subfield><subfield code="c">Wu Wenjun</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Beijing</subfield><subfield code="b">Long men shu ju</subfield><subfield code="c">2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">12, 288 Seiten</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="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV047575906</subfield><subfield code="g">Mathematics mechanization, 2</subfield></datafield><datafield tag="880" ind1="1" ind2="0"><subfield code="6">245-01/$1</subfield><subfield code="n">数学机械化卷二</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="f">chin</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032961502</subfield></datafield></record></collection>
id	DE-604.BV047576009
illustrated	Not Illustrated
index_date	2024-07-03T18:32:00Z
indexdate	2024-07-10T09:15:18Z
institution	BVB
isbn	9787508855516
language	Chinese
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032961502
oclc_num	1286877712
open_access_boolean
owner	DE-29
owner_facet	DE-29
physical	12, 288 Seiten
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Long men shu ju
record_format	marc
spelling	Wu, Wenjun 1919-2017 Verfasser (DE-588)111549116 aut 880-01 Wu Wenjun quan ji Shu xue ji xie hua juan er Mechanical theorem proving in geometries: basic principles Wu Wenjun Beijing Long men shu ju 2019 12, 288 Seiten txt rdacontent n rdamedia nc rdacarrier (DE-604)BV047575906 Mathematics mechanization, 2 245-01/$1 数学机械化卷二
spellingShingle	Wu, Wenjun 1919-2017 Wu Wenjun quan ji
title	Wu Wenjun quan ji
title_auth	Wu Wenjun quan ji
title_exact_search	Wu Wenjun quan ji
title_exact_search_txtP	Wu Wenjun quan ji
title_full	Wu Wenjun quan ji Shu xue ji xie hua juan er Mechanical theorem proving in geometries: basic principles Wu Wenjun
title_fullStr	Wu Wenjun quan ji Shu xue ji xie hua juan er Mechanical theorem proving in geometries: basic principles Wu Wenjun
title_full_unstemmed	Wu Wenjun quan ji Shu xue ji xie hua juan er Mechanical theorem proving in geometries: basic principles Wu Wenjun
title_short	Wu Wenjun quan ji
title_sort	wu wenjun quan ji mechanical theorem proving in geometries basic principles
volume_link	(DE-604)BV047575906
work_keys_str_mv	AT wuwenjun wuwenjunquanjishuxuejixiehuajuaner

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge