Verfügbarkeit: Fields of Logic and Computation II | Technische Universität München

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Beklemishev, Lev D. 1967- (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer International Publishing [2015]
Ausgabe:	1st ed.
Schriftenreihe:	Lecture Notes in Computer Science 9300
Schlagwörter:	Computer science Computer programming Computer Science Programming Techniques Informatik Formale Methode Theoretische Informatik Programmverifikation Komplexitätstheorie Softwarespezifikation Berechenbarkeit Mathematische Logik Abstrakte Zustandsmaschine Automatentheorie Festschrift
Links:	https://doi.org/10.1007/978-3-319-23534-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
Umfang:	X, 319 Seiten Illustrationen
ISBN:	9783319235349 9783319235332
ISSN:	0302-9743
DOI:	10.1007/978-3-319-23534-9

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043209447
003	DE-604
005	20200525
007	cr\|uuu---uuuuu
008	151215s2015 xx a\|\|\| o\|\|\|\| 01\|\|\| eng d
020			\|a 9783319235349 \|c Online \|9 978-3-319-23534-9
020			\|a 9783319235332 \|c Print \|9 978-3-319-23533-2
024	7		\|a 10.1007/978-3-319-23534-9 \|2 doi
035			\|a (OCoLC)923649279
035			\|a (DE-599)BVBBV043209447
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-M347 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-706 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-634 \|a DE-860 \|a DE-861 \|a DE-355
082	0		\|a 005.11 \|2 23
084			\|a DAT 540f \|2 stub
084			\|a DAT 000 \|2 stub
245	1	0	\|a Fields of Logic and Computation II \|b Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday \|c edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
250			\|a 1st ed.
264		1	\|a Cham \|b Springer International Publishing \|c [2015]
264		4	\|c © 2015
300			\|a X, 319 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture Notes in Computer Science : Festschrift \|v 9300 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Computer programming
650		4	\|a Computer Science
650		4	\|a Programming Techniques
650		4	\|a Informatik
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatentheorie \|0 (DE-588)4003953-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4016928-5 \|a Festschrift \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	2	\|a Berechenbarkeit \|0 (DE-588)4138368-0 \|D s
689	0	3	\|a Komplexitätstheorie \|0 (DE-588)4120591-1 \|D s
689	0	4	\|a Automatentheorie \|0 (DE-588)4003953-5 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	1	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	2	\|a Abstrakte Zustandsmaschine \|0 (DE-588)4637783-9 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Beklemishev, Lev D. \|d 1967- \|0 (DE-588)1024952835 \|4 edt
700	1		\|a Gurevich, Yuri \|d 1940- \|0 (DE-588)17267932X \|4 hnr
830		0	\|a Lecture Notes in Computer Science \|v 9300 \|w (DE-604)BV014880109 \|9 9300
856	4	0	\|u https://doi.org/10.1007/978-3-319-23534-9 \|x Verlag \|3 Volltext
856	4	2	\|m Springer Fremddatenuebernahme \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-SCS
912			\|a ZDB-2-LNC
940	1		\|q ZDB-2-SCS_2015
940	1		\|q ZDB-2-LNC_2015
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028632608

Datensatz im Suchindex

DE-BY-TUM_katkey	2159938
_version_	1821932394675961856
adam_text	FIELDS OF LOGIC AND COMPUTATION II / : 2015 ABSTRACT / INHALTSTEXT FIELDS OF LOGIC AND COMPUTATION II THIS FESTSCHRIFT HAS BEEN PUBLISHED IN HONOR OF YURI GUREVICH, ON THE OCCASION OF HIS 75TH BIRTHDAY. YURI GUREVICH HAS MADE A NUMBER OF FUNDAMENTAL CONTRIBUTIONS TO THE BROAD SPECTRUM OF LOGIC AND COMPUTER SCIENCE, INCLUDING DECISION PROCEDURES, THE MONADIC THEORY OF ORDER, ABSTRACT STATE MACHINES, FORMAL METHODS, FOUNDATIONS OF COMPUTER SCIENCE, SECURITY, AND MUCH MORE. MANY OF THESE AREAS ARE REFLECTED IN THE 20 ARTICLES IN THIS FESTSCHRIFT AND IN THE PRESENTATIONS AT THE “YURIFEST” SYMPOSIUM, WHICH WAS HELD IN BERLIN, GERMANY, ON SEPTEMBER 11 AND 12, 2015. THE YURIFEST SYMPOSIUM WAS CO-LOCATED WITH THE24TH EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2015) DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author2	Beklemishev, Lev D. 1967-
author2_role	edt
author2_variant	l d b ld ldb
author_GND	(DE-588)1024952835 (DE-588)17267932X
author_facet	Beklemishev, Lev D. 1967-
building	Verbundindex
bvnumber	BV043209447
classification_tum	DAT 540f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)923649279 (DE-599)BVBBV043209447
dewey-full	005.11
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.11
dewey-search	005.11
dewey-sort	15.11
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-23534-9
edition	1st ed.
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03397nam a2200757zcb4500</leader><controlfield tag="001">BV043209447</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200525 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 xx a\|\|\| o\|\|\|\| 01\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319235349</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-23534-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319235332</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-23533-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-23534-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)923649279</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209447</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.11</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Fields of Logic and Computation II</subfield><subfield code="b">Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday</subfield><subfield code="c">edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 319 Seiten</subfield><subfield code="b">Illustrationen</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science : Festschrift</subfield><subfield code="v">9300</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Techniques</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Berechenbarkeit</subfield><subfield code="0">(DE-588)4138368-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Komplexitätstheorie</subfield><subfield code="0">(DE-588)4120591-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Automatentheorie</subfield><subfield code="0">(DE-588)4003953-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Abstrakte Zustandsmaschine</subfield><subfield code="0">(DE-588)4637783-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Beklemishev, Lev D.</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)1024952835</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gurevich, Yuri</subfield><subfield code="d">1940-</subfield><subfield code="0">(DE-588)17267932X</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9300</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9300</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-23534-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632608</subfield></datafield></record></collection>
genre	(DE-588)4016928-5 Festschrift gnd-content
genre_facet	Festschrift
id	DE-604.BV043209447
illustrated	Illustrated
indexdate	2024-12-20T17:31:12Z
institution	BVB
isbn	9783319235349 9783319235332
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028632608
oclc_num	923649279
open_access_boolean
owner	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
owner_facet	DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR
physical	X, 319 Seiten Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015
publishDate	2015
publishDateSearch	2015
publishDateSort	2015
publisher	Springer International Publishing
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science : Festschrift
spellingShingle	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday Lecture Notes in Computer Science Computer science Computer programming Computer Science Programming Techniques Informatik Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Programmverifikation (DE-588)4135576-3 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd Automatentheorie (DE-588)4003953-5 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4196735-5 (DE-588)4135576-3 (DE-588)4120591-1 (DE-588)4056186-0 (DE-588)4138368-0 (DE-588)4037951-6 (DE-588)4637783-9 (DE-588)4003953-5 (DE-588)4016928-5
title	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
title_auth	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
title_exact_search	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
title_full	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
title_fullStr	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
title_full_unstemmed	Fields of Logic and Computation II Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday edited by Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
title_short	Fields of Logic and Computation II
title_sort	fields of logic and computation ii essays dedicated to yuri gurevich on the occasion of his 75th birthday
title_sub	Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
topic	Computer science Computer programming Computer Science Programming Techniques Informatik Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Programmverifikation (DE-588)4135576-3 gnd Komplexitätstheorie (DE-588)4120591-1 gnd Softwarespezifikation (DE-588)4056186-0 gnd Berechenbarkeit (DE-588)4138368-0 gnd Mathematische Logik (DE-588)4037951-6 gnd Abstrakte Zustandsmaschine (DE-588)4637783-9 gnd Automatentheorie (DE-588)4003953-5 gnd
topic_facet	Computer science Computer programming Computer Science Programming Techniques Informatik Formale Methode Theoretische Informatik Programmverifikation Komplexitätstheorie Softwarespezifikation Berechenbarkeit Mathematische Logik Abstrakte Zustandsmaschine Automatentheorie Festschrift
url	https://doi.org/10.1007/978-3-319-23534-9 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632608&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT beklemishevlevd fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday AT gurevichyuri fieldsoflogicandcomputationiiessaysdedicatedtoyurigurevichontheoccasionofhis75thbirthday

Verfügbarkeit

Bestellen (Login erforderlich)

Online lesen