Verfügbarkeit: Decision procedures

Decision procedures: an algorithmic point of view

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kroening, Daniel (VerfasserIn), Strichman, Ofer (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin ; Heidelberg Springer [2016]
Ausgabe:	Second edition
Schriftenreihe:	Texts in theoretical computer science
Schlagworte:	Computer science Software engineering Computers Mathematical optimization Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Optimization Informatik Mathematische Logik Algorithmus Entscheidungsverfahren
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext
Beschreibung:	1 Online Ressource (XXI, 356 Seiten, 64 illus., 5 illus. in color)
ISBN:	9783662504970
ISSN:	1862-4499
DOI:	10.1007/978-3-662-50497-0

Internformat

MARC


LEADER	00000nmm a2200000zc 4500
001	BV043932564
003	DE-604
005	20171127
007	cr\|uuu---uuuuu
008	161205s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783662504970 \|c Online \|9 978-3-662-50497-0
024	7		\|a 10.1007/978-3-662-50497-0 \|2 doi
035			\|a (ZDB-2-SCS)978-3-662-50497-0
035			\|a (OCoLC)965695136
035			\|a (DE-599)BVBBV043932564
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-739 \|a DE-634
082	0		\|a 004.0151 \|2 23
084			\|a ST 125 \|0 (DE-625)143586: \|2 rvk
084			\|a ST 134 \|0 (DE-625)143590: \|2 rvk
100	1		\|a Kroening, Daniel \|e Verfasser \|0 (DE-588)135831431 \|4 aut
245	1	0	\|a Decision procedures \|b an algorithmic point of view \|c Daniel Kroening, Ofer Strichman
250			\|a Second edition
264		1	\|a Berlin ; Heidelberg \|b Springer \|c [2016]
300			\|a 1 Online Ressource (XXI, 356 Seiten, 64 illus., 5 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Texts in theoretical computer science \|x 1862-4499
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Computers
650		4	\|a Mathematical optimization
650		4	\|a Computer Science
650		4	\|a Theory of Computation
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Optimization
650		4	\|a Informatik
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algorithmus \|0 (DE-588)4001183-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|2 gnd \|9 rswk-swf
689	0	0	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0	2	\|a Algorithmus \|0 (DE-588)4001183-5 \|D s
689	0		\|5 DE-604
700	1		\|a Strichman, Ofer \|e Verfasser \|0 (DE-588)1129196887 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-662-50496-3
856	4	0	\|u https://doi.org/10.1007/978-3-662-50497-0 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2016
999			\|a oai:aleph.bib-bvb.de:BVB01-029341579
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-662-50497-0 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176865573732352
any_adam_object
author	Kroening, Daniel Strichman, Ofer
author_GND	(DE-588)135831431 (DE-588)1129196887
author_facet	Kroening, Daniel Strichman, Ofer
author_role	aut aut
author_sort	Kroening, Daniel
author_variant	d k dk o s os
building	Verbundindex
bvnumber	BV043932564
classification_rvk	ST 125 ST 134
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)978-3-662-50497-0 (OCoLC)965695136 (DE-599)BVBBV043932564
dewey-full	004.0151
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004.0151
dewey-search	004.0151
dewey-sort	14.0151
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-662-50497-0
edition	Second edition
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03794nmm a2200781zc 4500</leader><controlfield tag="001">BV043932564</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171127 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">161205s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662504970</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-50497-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-50497-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-662-50497-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)965695136</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043932564</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-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 134</subfield><subfield code="0">(DE-625)143590:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kroening, Daniel</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135831431</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Decision procedures</subfield><subfield code="b">an algorithmic point of view</subfield><subfield code="c">Daniel Kroening, Ofer Strichman</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (XXI, 356 Seiten, 64 illus., 5 illus. in color)</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="0" ind2=" "><subfield code="a">Texts in theoretical computer science</subfield><subfield code="x">1862-4499</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Optimization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-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">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Strichman, Ofer</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1129196887</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-662-50496-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029341579</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-662-50497-0</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV043932564
illustrated	Not Illustrated
indexdate	2024-07-10T07:38:58Z
institution	BVB
isbn	9783662504970
issn	1862-4499
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029341579
oclc_num	965695136
open_access_boolean
owner	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-573 DE-M347 DE-703 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-573 DE-M347 DE-703 DE-739 DE-634
physical	1 Online Ressource (XXI, 356 Seiten, 64 illus., 5 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series2	Texts in theoretical computer science
spelling	Kroening, Daniel Verfasser (DE-588)135831431 aut Decision procedures an algorithmic point of view Daniel Kroening, Ofer Strichman Second edition Berlin ; Heidelberg Springer [2016] 1 Online Ressource (XXI, 356 Seiten, 64 illus., 5 illus. in color) txt rdacontent c rdamedia cr rdacarrier Texts in theoretical computer science 1862-4499 Computer science Software engineering Computers Mathematical optimization Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Optimization Informatik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 s Mathematische Logik (DE-588)4037951-6 s Algorithmus (DE-588)4001183-5 s DE-604 Strichman, Ofer Verfasser (DE-588)1129196887 aut Erscheint auch als Druck-Ausgabe 978-3-662-50496-3 https://doi.org/10.1007/978-3-662-50497-0 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Kroening, Daniel Strichman, Ofer Decision procedures an algorithmic point of view Computer science Software engineering Computers Mathematical optimization Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Optimization Informatik Mathematische Logik (DE-588)4037951-6 gnd Algorithmus (DE-588)4001183-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4001183-5 (DE-588)4637781-5
title	Decision procedures an algorithmic point of view
title_auth	Decision procedures an algorithmic point of view
title_exact_search	Decision procedures an algorithmic point of view
title_full	Decision procedures an algorithmic point of view Daniel Kroening, Ofer Strichman
title_fullStr	Decision procedures an algorithmic point of view Daniel Kroening, Ofer Strichman
title_full_unstemmed	Decision procedures an algorithmic point of view Daniel Kroening, Ofer Strichman
title_short	Decision procedures
title_sort	decision procedures an algorithmic point of view
title_sub	an algorithmic point of view
topic	Computer science Software engineering Computers Mathematical optimization Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Optimization Informatik Mathematische Logik (DE-588)4037951-6 gnd Algorithmus (DE-588)4001183-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd
topic_facet	Computer science Software engineering Computers Mathematical optimization Computer Science Theory of Computation Software Engineering/Programming and Operating Systems Optimization Informatik Mathematische Logik Algorithmus Entscheidungsverfahren
url	https://doi.org/10.1007/978-3-662-50497-0
work_keys_str_mv	AT kroeningdaniel decisionproceduresanalgorithmicpointofview AT strichmanofer decisionproceduresanalgorithmicpointofview

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge