Availability: Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning: 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings

Saved in:

Bibliographic Details
Main Author:	McMillan, Kenneth L. (Author)
Format:	Electronic Conference Proceedings eBook
Language:	English
Published:	Berlin [u.a.] Springer 2013
Series:	Lecture notes in computer science 8312 : Advanced research in computing and software science
Subjects:	Künstliche Intelligenz Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift > 2013 > Stellenbosch
Links:	https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 https://doi.org/10.1007/978-3-642-45221-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182918&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=027182918&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
Physical Description:	1 Online-Ressource (XIV, 794 S.) graph. Darst.
ISBN:	9783642452215
DOI:	10.1007/978-3-642-45221-5

Staff View

MARC


LEADER	00000nam a22000008cb4500
001	BV041736226
003	DE-604
007	cr\|uuu---uuuuu
008	140314s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
020			\|a 9783642452215 \|c eISBN \|9 978-3-642-45221-5
024	7		\|a 10.1007/978-3-642-45221-5 \|2 doi
024	3		\|a 9783642452208
028	5	2	\|a Best.-Nr.: 86352516
035			\|a (OCoLC)867181495
035			\|a (DE-599)BVBBV041736226
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-706 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-29 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634
082	0		\|a 006.3 \|2 22/ger
084			\|a 004 \|2 sdnb
084			\|a DAT 540f \|2 stub
100	1		\|a McMillan, Kenneth L. \|e Verfasser \|0 (DE-588)1047138220 \|4 aut
245	1	0	\|a Logic for programming, artificial intelligence, and reasoning \|b 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings \|c Ken McMillan ... (eds)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a 1 Online-Ressource (XIV, 794 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 8312 : Advanced research in computing and software science
650	0	7	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierlogik \|0 (DE-588)4047408-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Stellenbosch \|2 gnd-content
689	0	0	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	1		\|5 DE-604
689	2	0	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	2		\|5 DE-604
689	3	0	\|a Künstliche Intelligenz \|0 (DE-588)4033447-8 \|D s
689	3		\|5 DE-604
711	2		\|a LPAR \|n 19 \|d 2013 \|c Stellenbosch \|j Sonstige \|0 (DE-588)1047019868 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-45220-8
830		0	\|a Lecture notes in computer science \|v 8312 : Advanced research in computing and software science \|w (DE-604)BV014880109 \|9 8312
856	4	0	\|u https://doi.org/10.1007/978-3-642-45221-5 \|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=027182918&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=027182918&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA \|3 Abstract
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027182918
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-634 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-Aug4 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-M347 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-92 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-859 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-473 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-703 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-20 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-706 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-29 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-642-45221-5 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-TUM_katkey	1989907
_version_	1821935213127663616
adam_text	LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING / : 2013 TABLE OF CONTENTS / INHALTSVERZEICHNIS AN ALGORITHM FOR ENUMERATING MAXIMAL MODELS OF HORN THEORIES WITH AN APPLICATION TO MODAL LOGICS MAY-HAPPEN-IN-PARALLEL ANALYSIS FOR PRIORITY-BASED SCHEDULING THE COMPLEXITY OF CLAUSAL FRAGMENTS OF LTL A SEMANTIC BASIS FOR PROOF QUERIES AND TRANSFORMATIONS EXPRESSIVE PATH QUERIES ON GRAPHS WITH DATA PROVING INFINITE SATISFIABILITY SAT-BASED PREPROCESSING FOR MAXSAT DYNAMIC AND STATIC SYMMETRY BREAKING IN ANSWER SET PROGRAMMING HOL BASED FIRST-ORDER MODAL LOGIC PROVERS RESOURCEFUL REACHABILITY AS HORN-LA A SELIGMAN-STYLE TABLEAU SYSTEM COMPARISON OF LTL TO DETERMINISTIC RABIN AUTOMATA TRANSLATORS TREE INTERPOLATION IN VAMPIRE POLARIZING DOUBLE-NEGATION TRANSLATIONS REVISITING THE EQUIVALENCE OF SHININESS AND POLITENESS TOWARDS RATIONAL CLOSURE FOR FUZZY LOGIC: THE CASE OF PROPOSITIONAL GOEDEL LOGIC MULTI-OBJECTIVE DISCOUNTED REWARD VERIFICATION IN GRAPHS AND MDPS DESCRIPTION LOGICS, RULES AND MULTI-CONTEXT SYSTEMS COMPLEXITY ANALYSIS IN PRESENCE OF CONTROL OPERATORS AND HIGHER-ORDER FUNCTIONS ZENON MODULO: WHEN ACHILLES OUTRUNS THE TORTOISE USING DEDUCTION MODULO LONG-DISTANCE RESOLUTION: PROOF GENERATION AND STRATEGY EXTRACTION IN SEARCH-BASED QBF SOLVING VERIFYING TEMPORAL PROPERTIES IN REAL MODELS A GRAPHICAL LANGUAGE FOR PROOF STRATEGIES A PROOF OF STRONG NORMALISATION OF THE TYPED ATOMIC LAMBDA-CALCULUS RELAXING SYNCHRONIZATION CONSTRAINTS IN BEHAVIORAL PROGRAMS CHARACTERIZING SUBSET SPACES AS BI-TOPOLOGICAL STRUCTURES PROOF-PATTERN RECOGNITION AND LEMMA DISCOVERY IN ACL2 SEMANTIC A-TRANSLATIONS AND SUPER-CONSISTENCY ENTAIL CLASSICAL CUT ELIMINATION BLOCKED CLAUSE DECOMPOSITION MAXIMAL FALSIFIABILITY: DEFINITIONS, ALGORITHMS, AND APPLICATIONS SOLVING GEOMETRY PROBLEMS USING A COMBINATION OF SYMBOLIC AND NUMERICAL REASONING ON QBF PROOFS AND PREPROCESSING PARTIAL BACKTRACKING IN CDCL SOLVERS LEMMA MINING OVER HOL LIGHT ON MODULE-BASED ABSTRACTION AND REPAIR OF BEHAVIORAL PROGRAMS PREDICTION AND EXPLANATION OVER DL-LITE DATA STREAMS FORGETTING CONCEPT AND ROLE SYMBOLS IN ALCH-ONTOLOGIES SIMULATING PARITY REASONING HERBRAND THEOREMS FOR SUBSTRUCTURAL LOGICS ON PROMPTNESS IN PARITY GAMES DEFINING PRIVACY IS SUPPOSED TO BE EASY REACHABILITY MODULES FOR THE DESCRIPTION LOGIC SRIQ AN EVENT STRUCTURE MODEL FOR PROBABILISTIC CONCURRENT KLEENE ALGEBRA THREE SCC-BASED EMPTINESS CHECKS FOR GENERALIZED BUECHI AUTOMATA PERIPLO: A FRAMEWORK FOR PRODUCING EFFECTIVE INTERPOLANTS IN SAT-BASED SOFTWARE VERIFICATION INCREMENTAL TABLING FOR QUERY-DRIVEN PROPAGATION OF LOGIC PROGRAM UPDATES TRACKING DATA-FLOW WITH OPEN CLOSURE TYPES PUTTING NEWTON INTO PRACTICE: A SOLVER FOR POLYNOMIAL EQUATIONS OVER SEMIRINGS SYSTEM DESCRIPTION: E 1.8 FORMALIZATION OF LAPLACE TRANSFORM USING THE MULTIVARIABLE CALCULUS THEORY OF HOL-LIGHT ON MINIMALITY AND INTEGRITY CONSTRAINTS IN PROBABILISTIC ABDUCTION POLAR: A FRAMEWORK FOR PROOF REFACTORING DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT. LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING / : 2013 ABSTRACT / INHALTSTEXT THIS BOOK CONSTITUTES THE PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING, LPAR-19, HELD IN DECEMBER 2013 IN STELLENBOSCH, SOUTH AFRICA. THE 44 REGULAR PAPERS AND 8 TOOL DESCRIPTIONS AND EXPERIMENTAL PAPERS INCLUDED IN THIS VOLUME WERE CAREFULLY REVIEWED AND SELECTED FROM 152 SUBMISSIONS. THE SERIES OF INTERNATIONAL CONFERENCES ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (LPAR) IS A FORUM WHERE YEAR AFTER YEAR, SOME OF THE MOST RENOWNED RESEARCHERS IN THE AREAS OF LOGIC, AUTOMATED REASONING, COMPUTATIONAL LOGIC, PROGRAMMING LANGUAGES AND THEIR APPLICATIONS COME TO PRESENT CUTTING-EDGE RESULTS, TO DISCUSS ADVANCES IN THESE FIELDS AND TO EXCHANGE IDEAS IN A SCIENTIFICALLY EMERGING PART OF THE WORLD DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
any_adam_object	1
author	McMillan, Kenneth L.
author_GND	(DE-588)1047138220
author_facet	McMillan, Kenneth L.
author_role	aut
author_sort	McMillan, Kenneth L.
author_variant	k l m kl klm
building	Verbundindex
bvnumber	BV041736226
classification_rvk	SS 4800
classification_tum	DAT 540f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)867181495 (DE-599)BVBBV041736226
dewey-full	006.3
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	006 - Special computer methods
dewey-raw	006.3
dewey-search	006.3
dewey-sort	16.3
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
doi_str_mv	10.1007/978-3-642-45221-5
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000008cb4500</leader><controlfield tag="001">BV041736226</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140314s2013 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642452215</subfield><subfield code="c">eISBN</subfield><subfield code="9">978-3-642-45221-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-45221-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642452208</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86352516</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867181495</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041736226</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">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">McMillan, Kenneth L.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047138220</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic for programming, artificial intelligence, and reasoning</subfield><subfield code="b">19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings</subfield><subfield code="c">Ken McMillan ... (eds)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XIV, 794 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">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">8312 : Advanced research in computing and software science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</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">2013</subfield><subfield code="z">Stellenbosch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LPAR</subfield><subfield code="n">19</subfield><subfield code="d">2013</subfield><subfield code="c">Stellenbosch</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1047019868</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-45220-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">8312 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">8312</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-45221-5</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=027182918&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=027182918&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-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027182918</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-45221-5</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-LNC</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-642-45221-5</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Stellenbosch gnd-content
genre_facet	Konferenzschrift 2013 Stellenbosch
id	DE-604.BV041736226
illustrated	Illustrated
indexdate	2025-01-11T19:06:47Z
institution	BVB
institution_GND	(DE-588)1047019868
isbn	9783642452215
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027182918
oclc_num	867181495
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-706 DE-739 DE-384 DE-M347 DE-703 DE-29 DE-92 DE-Aug4 DE-859 DE-634
physical	1 Online-Ressource (XIV, 794 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spellingShingle	McMillan, Kenneth L. Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Lecture notes in computer science Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
subject_GND	(DE-588)4033447-8 (DE-588)4047408-2 (DE-588)4195096-3 (DE-588)4069034-9 (DE-588)1071861417
title	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
title_auth	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
title_exact_search	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
title_full	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds)
title_fullStr	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds)
title_full_unstemmed	Logic for programming, artificial intelligence, and reasoning 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings Ken McMillan ... (eds)
title_short	Logic for programming, artificial intelligence, and reasoning
title_sort	logic for programming artificial intelligence and reasoning 19th international conference lpar 19 stellenbosch south africa december 14 19 2013 proceedings
title_sub	19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 ; proceedings
topic	Künstliche Intelligenz (DE-588)4033447-8 gnd Programmierlogik (DE-588)4047408-2 gnd Logische Programmierung (DE-588)4195096-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd
topic_facet	Künstliche Intelligenz Programmierlogik Logische Programmierung Automatisches Beweisverfahren Konferenzschrift 2013 Stellenbosch
url	https://doi.org/10.1007/978-3-642-45221-5 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027182918&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=027182918&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT mcmillankennethl logicforprogrammingartificialintelligenceandreasoning19thinternationalconferencelpar19stellenboschsouthafricadecember14192013proceedings AT lparstellenbosch logicforprogrammingartificialintelligenceandreasoning19thinternationalconferencelpar19stellenboschsouthafricadecember14192013proceedings

Availability

Order (Login required)

Read online
Table of Contents