Verfügbarkeit: Logical foundations of computer science

Logical foundations of computer science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LFCS Deerfield Beach, Fla (VerfasserIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2016]
Schriftenreihe:	Lecture Notes in Computer Science 9537
Schlagworte:	Computer science Mathematical logic Computer Science Mathematical Logic and Formal Languages Informatik Logische Programmierung Logik Berechnungskomplexität Konferenzschrift > 2016 > Deerfield Beach, Fla.
Online-Zugang:	DE-523 DE-91 DE-355 DE-706 URL des Erstveröffentlichers Inhaltsverzeichnis Abstract
Beschreibung:	1 Online Ressource (X, 407 Seiten) Illustrationen
ISBN:	9783319276830 9783319276823
ISSN:	0302-9743
DOI:	10.1007/978-3-319-27683-0

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV043211897
003	DE-604
005	20180117
007	cr\|uuu---uuuuu
008	151215s2016 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783319276830 \|c Online \|9 978-3-319-27683-0
020			\|a 9783319276823 \|c Print \|9 978-3-319-27682-3
024	7		\|a 10.1007/978-3-319-27683-0 \|2 doi
035			\|a (OCoLC)935176566
035			\|a (DE-599)BVBBV043211897
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-706 \|a DE-91 \|a DE-19 \|a DE-384 \|a DE-Aug4 \|a DE-573 \|a DE-859 \|a DE-703 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-739 \|a DE-92 \|a DE-634 \|a DE-M347 \|a DE-898 \|a DE-861 \|a DE-523
082	0		\|a 005.131 \|2 23
084			\|a ST 110 \|0 (DE-625)143583: \|2 rvk
084			\|a ST 120 \|0 (DE-625)143585: \|2 rvk
084			\|a DAT 706f \|2 stub
084			\|a DAT 540f \|2 stub
084			\|a DAT 000 \|2 stub
111	2		\|a LFCS \|d 2016 \|c Deerfield Beach, Fla. \|j Verfasser \|0 (DE-588)1081042486 \|4 aut
245	1	0	\|a Logical foundations of computer science \|b International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings \|c edited by Sergei Artemov, Anil Nerode
264		1	\|a Cham \|b Springer \|c [2016]
264		4	\|c © 2016
300			\|a 1 Online Ressource (X, 407 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 \|v Volume 9537 \|x 0302-9743
650		4	\|a Computer science
650		4	\|a Mathematical logic
650		4	\|a Computer Science
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Informatik
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Informatik \|0 (DE-588)4026894-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2016 \|z Deerfield Beach, Fla. \|2 gnd-content
689	0	0	\|a Informatik \|0 (DE-588)4026894-9 \|D s
689	0	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	1		\|5 DE-604
689	2	0	\|a Berechnungskomplexität \|0 (DE-588)4134751-1 \|D s
689	2	1	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	2		\|5 DE-604
700	1		\|a Artemov, Sergei \|e Sonstige \|4 oth
830		0	\|a Lecture Notes in Computer Science \|v 9537 \|w (DE-604)BV014880109 \|9 9537
856	4	0	\|u https://doi.org/10.1007/978-3-319-27683-0 \|x Verlag \|z URL des Erstveröffentlichers \|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=028635036&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
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=028635036&sequence=000003&line_number=0002&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_2016
943	1		\|a oai:aleph.bib-bvb.de:BVB01-028635036
966	e		\|u https://doi.org/10.1007/978-3-319-27683-0 \|l DE-523 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-27683-0 \|l DE-91 \|p ZDB-2-LNC \|q ZDB-2-LNC_2016 \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-27683-0 \|l DE-355 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-27683-0 \|l DE-706 \|p ZDB-2-LNC \|q ZDB-2-LNC_2016 \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1820875667190841345
adam_text	LOGICAL FOUNDATIONS OF COMPUTER SCIENCE / : 2016 TABLE OF CONTENTS / INHALTSVERZEICHNIS CONSTRUCTIVE MATHEMATICS AND TYPE THEORY HOMOTOPY TYPE THEORY LOGIC, AUTOMATA, AND AUTOMATIC STRUCTURES COMPUTABILITY AND RANDOMNESS LOGICAL FOUNDATIONS OF PROGRAMMING LOGICAL ASPECTS OF COMPUTATIONAL COMPLEXITY PARAMETERIZED COMPLEXITY LOGIC PROGRAMMING AND CONSTRAINTS AUTOMATED DEDUCTION AND INTERACTIVE THEOREM PROVING LOGICAL METHODS IN PROTOCOL AND PROGRAM VERIFICATION LOGICAL METHODS IN PROGRAM SPECIFICATION AND EXTRACTION DOMAIN THEORY LOGICS LOGICAL FOUNDATIONS OF DATABASE THEORY EQUATIONAL LOGIC AND TERM REWRITING LAMBDA AND COMBINATORY CALCULI CATEGORICAL LOGIC AND TOPOLOGICAL SEMANTICS LINEAR LOGIC EPISTEMIC AND TEMPORAL LOGICS INTELLIGENT AND MULTIPLE-AGENT SYSTEM LOGICS LOGICS OF PROOF AND JUSTIFICATION NON-MONOTONIC REASONING LOGIC IN GAME THEORY AND SOCIAL SOFTWARE LOGIC OF HYBRID SYSTEMS DISTRIBUTED SYSTEM LOGICS MATHEMATICAL FUZZY LOGIC SYSTEM DESIGN LOGICS DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE / : 2016 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE REFEREED PROCEEDINGS OF THE INTERNATIONAL SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, LFCS 2016, HELD IN DEERFIELD BEACH, FL, USA IN JANUARY 2016. THE 27 REVISED FULL PAPERS WERE CAREFULLY REVIEWED AND SELECTED FROM 46 SUBMISSIONS. THE SCOPE OF THE SYMPOSIUM IS BROAD AND INCLUDES CONSTRUCTIVE MATHEMATICS AND TYPE THEORY; HOMOTOPY TYPE THEORY; LOGIC, AUTOMATA, AND AUTOMATIC STRUCTURES; COMPUTABILITY AND RANDOMNESS; LOGICAL FOUNDATIONS OF PROGRAMMING; LOGICAL ASPECTS OF COMPUTATIONAL COMPLEXITY; PARAMETERIZED COMPLEXITY; LOGIC PROGRAMMING AND CONSTRAINTS; AUTOMATED DEDUCTION AND INTERACTIVE THEOREM PROVING; LOGICAL METHODS IN PROTOCOL AND PROGRAM VERIFICATION; LOGICAL METHODS IN PROGRAM SPECIFICATION AND EXTRACTION; DOMAIN THEORY LOGICS; LOGICAL FOUNDATIONS OF DATABASE THEORY; EQUATIONAL LOGIC AND TERM REWRITING; LAMBDA AND COMBINATORY CALCULI; CATEGORICAL LOGIC AND TOPOLOGICAL SEMANTICS; LINEAR LOGIC; EPISTEMIC AND TEMPORAL LOGICS; INTELLIGENT AND MULTIPLE-AGENT SYSTEM LOGICS; LOGICS OF PROOF AND JUSTIFICATION; NON-MONOTONIC REASONING; LOGIC IN GAME THEORY AND SOCIAL SOFTWARE; LOGIC OF HYBRID SYSTEMS; DISTRIBUTED SYSTEM LOGICS; MATHEMATICAL FUZZY LOGIC; SYSTEM DESIGN LOGICS; AND OTHER LOGICS IN COMPUTER SCIENCE DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author_corporate	LFCS Deerfield Beach, Fla
author_corporate_role	aut
author_facet	LFCS Deerfield Beach, Fla
author_sort	LFCS Deerfield Beach, Fla
building	Verbundindex
bvnumber	BV043211897
classification_rvk	ST 110 ST 120
classification_tum	DAT 706f DAT 540f DAT 000
collection	ZDB-2-SCS ZDB-2-LNC
ctrlnum	(OCoLC)935176566 (DE-599)BVBBV043211897
dewey-full	005.131
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.131
dewey-search	005.131
dewey-sort	15.131
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-319-27683-0
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV043211897</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180117</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">151215s2016 xx a\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319276830</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-27683-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319276823</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-319-27682-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-27683-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)935176566</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043211897</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-706</subfield><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-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-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 110</subfield><subfield code="0">(DE-625)143583:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 120</subfield><subfield code="0">(DE-625)143585:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</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="111" ind1="2" ind2=" "><subfield code="a">LFCS</subfield><subfield code="d">2016</subfield><subfield code="c">Deerfield Beach, Fla.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1081042486</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of computer science</subfield><subfield code="b">International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings</subfield><subfield code="c">edited by Sergei Artemov, Anil Nerode</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online Ressource (X, 407 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</subfield><subfield code="v">Volume 9537</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">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2016</subfield><subfield code="z">Deerfield Beach, Fla.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Berechnungskomplexität</subfield><subfield code="0">(DE-588)4134751-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Artemov, Sergei</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9537</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9537</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-27683-0</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</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=028635036&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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=028635036&sequence=000003&line_number=0002&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_2016</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028635036</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-27683-0</subfield><subfield code="l">DE-523</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-319-27683-0</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</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-319-27683-0</subfield><subfield code="l">DE-355</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-319-27683-0</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="q">ZDB-2-LNC_2016</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2016 Deerfield Beach, Fla. gnd-content
genre_facet	Konferenzschrift 2016 Deerfield Beach, Fla.
id	DE-604.BV043211897
illustrated	Illustrated
indexdate	2025-01-10T15:19:17Z
institution	BVB
institution_GND	(DE-588)1081042486
isbn	9783319276830 9783319276823
issn	0302-9743
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028635036
oclc_num	935176566
open_access_boolean
owner	DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-739 DE-92 DE-634 DE-M347 DE-898 DE-BY-UBR DE-861 DE-523
owner_facet	DE-355 DE-BY-UBR DE-706 DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-20 DE-739 DE-92 DE-634 DE-M347 DE-898 DE-BY-UBR DE-861 DE-523
physical	1 Online Ressource (X, 407 Seiten) Illustrationen
psigel	ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2016 ZDB-2-LNC ZDB-2-LNC_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	LFCS 2016 Deerfield Beach, Fla. Verfasser (DE-588)1081042486 aut Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings edited by Sergei Artemov, Anil Nerode Cham Springer [2016] © 2016 1 Online Ressource (X, 407 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science Volume 9537 0302-9743 Computer science Mathematical logic Computer Science Mathematical Logic and Formal Languages Informatik Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Berechnungskomplexität (DE-588)4134751-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2016 Deerfield Beach, Fla. gnd-content Informatik (DE-588)4026894-9 s Logik (DE-588)4036202-4 s DE-604 Logische Programmierung (DE-588)4195096-3 s Berechnungskomplexität (DE-588)4134751-1 s Artemov, Sergei Sonstige oth Lecture Notes in Computer Science 9537 (DE-604)BV014880109 9537 https://doi.org/10.1007/978-3-319-27683-0 Verlag URL des Erstveröffentlichers Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635036&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635036&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract
spellingShingle	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings Lecture Notes in Computer Science Computer science Mathematical logic Computer Science Mathematical Logic and Formal Languages Informatik Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
subject_GND	(DE-588)4195096-3 (DE-588)4036202-4 (DE-588)4026894-9 (DE-588)4134751-1 (DE-588)1071861417
title	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings
title_auth	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings
title_exact_search	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings
title_full	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings edited by Sergei Artemov, Anil Nerode
title_fullStr	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings edited by Sergei Artemov, Anil Nerode
title_full_unstemmed	Logical foundations of computer science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings edited by Sergei Artemov, Anil Nerode
title_short	Logical foundations of computer science
title_sort	logical foundations of computer science international symposium lfcs 2016 deerfield beach fl usa january 4 7 2016 proceedings
title_sub	International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. : proceedings
topic	Computer science Mathematical logic Computer Science Mathematical Logic and Formal Languages Informatik Logische Programmierung (DE-588)4195096-3 gnd Logik (DE-588)4036202-4 gnd Informatik (DE-588)4026894-9 gnd Berechnungskomplexität (DE-588)4134751-1 gnd
topic_facet	Computer science Mathematical logic Computer Science Mathematical Logic and Formal Languages Informatik Logische Programmierung Logik Berechnungskomplexität Konferenzschrift 2016 Deerfield Beach, Fla.
url	https://doi.org/10.1007/978-3-319-27683-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635036&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028635036&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT lfcsdeerfieldbeachfla logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings AT artemovsergei logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2016deerfieldbeachflusajanuary472016proceedings

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